-
Notifications
You must be signed in to change notification settings - Fork 79
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
A sum over the roots of a polynomial, so that a rational function with an irreducible denominator can be integrated
ProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.#1285 In asc-community/AngouriMath;A correct rule costs time on integrands it never fires on, because a sub-answer lets a doomed search continue
BugA serious math/runtime errorA serious math/runtime errorStatus: Open.#1265 In asc-community/AngouriMath;π is a free variable, Cyrillic е is a different variable from e, and х + x has two variables that print identically
Opinions wantedWe are interested in your opinion about the topicWe are interested in your opinion about the topicStatus: Open.#1260 In asc-community/AngouriMath;The property harnesses run in 8.5 minutes and CI runs none of them
ProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.#1256 In asc-community/AngouriMath;Taking a constant factor out of a denominator made an unanswerable integral four times slower to decline
Minor bugMinor bugs that don't affect the overall computationsMinor bugs that don't affect the overall computationsStatus: Open.#1255 In asc-community/AngouriMath;BudgetOutcome has no consumer: the object that names which limit fired is never read outside Core/Budgets
ProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.#1253 In asc-community/AngouriMath;SoundUnderAssumptions names no assumption: 177 rules declare it and the condition exists only in comments
ProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.#1252 In asc-community/AngouriMath;The e-graph is a congruence closure and nothing can ask it whether two expressions are equal
ProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.#1251 In asc-community/AngouriMath;A square root of a quadratic: Euler's substitutions work, cost one wrong answer and 3x the time
AcceptedFor proposals, which were approved and will be implementedFor proposals, which were approved and will be implementedProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.#1244 In asc-community/AngouriMath;Unicode Stringize and parsing
ProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.#1242 In asc-community/AngouriMath;Nothing writes an expression as a single quotient: no together / ratsimp
ProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.#1239 In asc-community/AngouriMath;Typed variables
ProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.#1237 In asc-community/AngouriMath;