-
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
RewriteRules.NumericNeat answers 2 for -1 + -1: the sign is inverted when both operands are negative
Status: Open.#936 In asc-community/AngouriMath;A canonical form for rational functions over Q, which needs a common denominator first (#746 tier 1)
Status: Open.#934 In asc-community/AngouriMath;- Status: Open.#930 In asc-community/AngouriMath;
- Status: Open.#898 In asc-community/AngouriMath;
- Status: Open.#896 In asc-community/AngouriMath;
- Status: Open.#890 In asc-community/AngouriMath;
- Status: Open.#878 In asc-community/AngouriMath;
Stringize of a Rational parses back as a Divf, so the round trip is not an identity
Minor bugMinor bugs that don't affect the overall computationsMinor bugs that don't affect the overall computationsOpinions wantedWe are interested in your opinion about the topicWe are interested in your opinion about the topicStatus: Open.#873 In asc-community/AngouriMath;Design document: individually addressable rewrite rules (#746 item 50)
Design documentFor issues representing detailed design of new API or featureFor issues representing detailed design of new API or featureStatus: Open.#825 In asc-community/AngouriMath;Five decisions whose consequences reach past their own issue
ProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.#814 In asc-community/AngouriMath;Conditional compilation for feature subsets: use trait-based test selection and package seams instead
Opinions wantedWe are interested in your opinion about the topicWe are interested in your opinion about the topicProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.#783 In asc-community/AngouriMath;Goal: Math OS — a ten-year vision for AngouriMath as an open mathematical reasoning platform
Agentic goalGoals for LLMs to work towardsGoals for LLMs to work towardsProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.#746 In asc-community/AngouriMath;