Skip to content

Actions: asc-community/AngouriMath

Actions

Interactive Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
InteractiveTest.yml
573 workflow runs
573 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
State what canonical form means here, and measure how far off the library is (#746) Interactive Test #1321: Pull request #928 synchronize by Rafael-SOWNet
3m 16s docs/canonical-form
docs/canonical-form
3m 16s
State what canonical form means here, and measure how far off the library is (#746) Interactive Test #1320: Pull request #928 synchronize by Rafael-SOWNet
3m 57s docs/canonical-form
docs/canonical-form
3m 57s
Fold the negation a half-turn table lookup builds, so InnerSimplified is idempotent (#930) Interactive Test #1319: Pull request #932 opened by Rafael-SOWNet
3m 21s fix/innersimplified-idempotence
fix/innersimplified-idempotence
3m 21s
Apply the parity identities, so that sin(-x) + sin(x) reaches zero (#929) Interactive Test #1318: Pull request #931 opened by Rafael-SOWNet
3m 10s fix/parity-identities
fix/parity-identities
3m 10s
State what canonical form means here, and measure how far off the library is (#746) Interactive Test #1317: Pull request #928 opened by Rafael-SOWNet
4m 23s docs/canonical-form
docs/canonical-form
4m 23s
Bound the resultant's elimination by measured work rather than by reasoned size (#921) Interactive Test #1316: Pull request #927 opened by Rafael-SOWNet
3m 20s perf/resultant-sylvester-ceiling
perf/resultant-sylvester-ceiling
3m 20s
Decompose a rational function over its denominator's factors, not onl… Interactive Test #1315: Commit b4385a8 pushed by Rafael-SOWNet
3m 7s master
master
3m 7s
Decompose a rational function over its denominator's factors, not only its roots (#919) Interactive Test #1314: Pull request #926 opened by Rafael-SOWNet
3m 37s feat/partial-fractions-over-irreducibles
feat/partial-fractions-over-irreducibles
3m 37s
Read an exponent out of a logarithm where a limit says the base holds… Interactive Test #1313: Commit 1ed033f pushed by Rafael-SOWNet
3m 2s master
master
3m 2s
Read an exponent out of a logarithm where a limit says the base holds its sign (#902) Interactive Test #1312: Pull request #925 opened by Rafael-SOWNet
3m 25s wt/assumptions-consumer
wt/assumptions-consumer
3m 25s
Record the logarithm gathering as fixed, in the section that said it … Interactive Test #1311: Commit 489d3eb pushed by Rafael-SOWNet
7m 8s master
master
7m 8s
Bound a gcd's intermediates separately from its inputs (#920) (#923) Interactive Test #1310: Commit f941978 pushed by Rafael-SOWNet
3m 32s master
master
3m 32s
Record the logarithm gathering as fixed, in the section that said it was not Interactive Test #1309: Pull request #924 opened by Rafael-SOWNet
6m 19s docs/contract-after-922
docs/contract-after-922
6m 19s
Gather logarithms only where that is exact, and tell the limit machin… Interactive Test #1308: Commit 9d37492 pushed by Rafael-SOWNet
3m 5s master
master
3m 5s
Bring the simplification contract up to date, and measure the rule it… Interactive Test #1307: Commit a46e09c pushed by Rafael-SOWNet
3m 10s master
master
3m 10s
Gather logarithms only where that is exact, and tell the limit machinery where it is going Interactive Test #1306: Pull request #922 synchronize by Rafael-SOWNet
5m 20s fix/721-gather-logarithms-on-a-stated-approach
fix/721-gather-logarithms-on-a-stated-approach
5m 20s
Bound a gcd's intermediates separately from its inputs (#920) Interactive Test #1305: Pull request #923 opened by Rafael-SOWNet
3m 53s fix/gcd-intermediate-term-ceiling
fix/gcd-intermediate-term-ceiling
3m 53s
Give the library a polynomial layer (#746) (#918) Interactive Test #1304: Commit a3c7554 pushed by Rafael-SOWNet
3m 8s master
master
3m 8s
A polynomial layer: factorisation over Q and F_p, resultants, square-free decomposition (#746 item 43) Interactive Test #1303: Pull request #918 opened by Rafael-SOWNet
3m 7s feat/polynomial-factorization
feat/polynomial-factorization
3m 7s
Bring the simplification contract up to date, and measure the rule it still names Interactive Test #1302: Pull request #917 opened by Rafael-SOWNet
3m 30s docs/simplification-contract-after-916
docs/simplification-contract-after-916
3m 30s
Let the logarithm's domain follow the reading (#721, #890) (#916) Interactive Test #1301: Commit 51194ce pushed by Rafael-SOWNet
5m 53s master
master
5m 53s
Let the logarithm's domain follow the reading (#721, #890) Interactive Test #1300: Pull request #916 synchronize by Rafael-SOWNet
3m 55s fix/721-logarithm-domain-reading
fix/721-logarithm-domain-reading
3m 55s
Let the logarithm's domain follow the reading (#721, #890) Interactive Test #1299: Pull request #916 opened by Rafael-SOWNet
3m 21s fix/721-logarithm-domain-reading
fix/721-logarithm-domain-reading
3m 21s
Re-measure the branch conventions on 2.1.0 (#915) Interactive Test #1298: Commit b8cf4dc pushed by Rafael-SOWNet
4m 25s master
master
4m 25s
Re-measure the branch conventions on 2.1.0 Interactive Test #1297: Pull request #915 opened by Rafael-SOWNet
3m 58s post-914
post-914
3m 58s