[go: up one dir, main page]

Menu

Code Commit Log


Commit Date  
[r799] by mantepse

new testsuite testing that lookup and index are inverses in domains with
Finite.

2010-02-07 08:23:18 Tree
[r798] by mantepse

add missing operations for DirectProductCategory when Finite

2010-02-05 20:34:19 Tree
[r797] by whebisch

Faster polynomial gcd.

2010-02-04 23:47:43 Tree
[r796] by whebisch

Add sanity test.

2010-02-04 03:34:39 Tree
[r795] by whebisch

Correct typo in Makefile.in

2010-02-04 03:12:25 Tree
[r794] by whebisch

More efficient constructSubst.

2010-02-03 12:41:28 Tree
[r793] by whebisch

Compute e faster.

2010-01-31 16:44:50 Tree
[r792] by mantepse

cleanup, report unexpected passes.

2010-01-30 21:47:11 Tree
[r791] by mantepse

add another test exhibiting a wrong simplification in RECOP

2010-01-30 08:31:49 Tree
[r790] by mantepse

add tests for guessing over prime field.

2010-01-29 14:06:34 Tree
Older >