Skip to content

Actions: PerAlexandersson/polytool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow runs
164 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
refactor(polytool)!: move the atlas engine out of polytool CI #148: Commit c549f07 pushed by PerAlexandersson
10m 35s main
main
10m 35s
feat(polytool): gamma and Veronese image rules by algebra in the atlas CI #147: Commit 1ff3e56 pushed by PerAlexandersson
14m 51s main
main
14m 51s
perf(polytool): fraction-free integer elimination in exact linear alg… CI #146: Commit 61a7432 pushed by PerAlexandersson
17m 20s main
main
17m 20s
feat(polytool): the real-rooted atlas engine (polytool atlas) CI #145: Commit ffeaef0 pushed by PerAlexandersson
15m 15s main
main
15m 15s
perf(ore-algebra): integer fast paths, in-place updates, cached shifts CI #144: Commit 1fb7aaf pushed by PerAlexandersson
18m 14s main
main
18m 14s
test(polytool): validated-entry count after the 43 catalog additions CI #143: Commit f41d992 pushed by PerAlexandersson
12m 52s main
main
12m 52s
feat(polytool): 43 more OEIS catalog entries (860) CI #142: Commit 1acd3f5 pushed by PerAlexandersson
2m 33s main
main
2m 33s
feat(polytool): OEIS catalog evidence record and oeis evidence command CI #141: Commit 579b04c pushed by PerAlexandersson
15m 57s main
main
15m 57s
refactor(polytool): coordinate maps on ore-algebra substitutions; fix… CI #140: Commit 886ae5e pushed by PerAlexandersson
13m 24s main
main
13m 24s
feat(polytool): theorem checks and lifts accept x^e f(n) left-hand fa… CI #139: Commit 8df549e pushed by PerAlexandersson
16m 26s main
main
16m 26s
feat(polytool): adaptive search varies the left-hand factor (try_laur… CI #138: Commit 5db1e2a pushed by PerAlexandersson
22m 24s main
main
22m 24s
refactor(polytool): lift modules on ore-algebra; exact image rules wi… CI #137: Commit 71ed9ba pushed by PerAlexandersson
17m 8s main
main
17m 8s
feat(polytool): interlacing as a proved claim on lifts and parent proofs CI #136: Commit 3d9ef71 pushed by PerAlexandersson
11m 53s main
main
11m 53s
feat(ore-algebra): x-shift and difference operators, Laurent coeffici… CI #135: Commit fc074e1 pushed by PerAlexandersson
10m 44s main
main
10m 44s
feat(polytool): basis maps u^k -> P_k preserving PF polynomials CI #134: Commit 613e334 pushed by PerAlexandersson
10m 58s main
main
10m 58s
feat(polytool): ore-algebra crate; exact image recurrences of operators CI #133: Commit 37d3a3e pushed by PerAlexandersson
10m 36s main
main
10m 36s
feat(polytool): Ma-Wang interval theorem check; interval regions; Eul… CI #132: Commit 011780d pushed by PerAlexandersson
17m 16s main
main
17m 16s
feat(polytool): preserver-image lifts Q_n = T_n(P_n) CI #131: Commit 3c6dc77 pushed by PerAlexandersson
17m 18s main
main
17m 18s
feat(polytool): OEIS catalog real-rootedness flag; 43 supplied-recurr… CI #130: Commit fa0d4bc pushed by PerAlexandersson
12m 23s main
main
12m 23s
feat(polytool): row-annihilator systems for higher-order Hadamard par… CI #129: Commit bbfd51b pushed by PerAlexandersson
11m 26s main
main
11m 26s
feat(polytool): Liu-Wang derivative-lag theorem check CI #128: Commit 9b034dc pushed by PerAlexandersson
14m 25s main
main
14m 25s
feat(polytool): move the induction start; Baxter via an invariant row… CI #127: Commit 3b03d1a pushed by PerAlexandersson
14m 53s main
main
14m 53s
feat(polytool): gamma lifts; peak polynomials; 1/k symmetric-part rec… CI #126: Commit e8f249b pushed by PerAlexandersson
13m 32s main
main
13m 32s
test(polytool): real-rootedness proofs of named families; replay padd… CI #125: Commit 990cfca pushed by PerAlexandersson
8m 2s main
main
8m 2s
feat(polytool): Hadamard-factor and row-factor lifts CI #124: Commit f11fe6b pushed by PerAlexandersson
13m 27s main
main
13m 27s