[go: up one dir, main page]
Menu ▾ ▴

/trunk/src/algebra Commit Log


Commit Date  
[r2105] by whebisch

Avoid negative conditions

 2016-09-08 01:47:43 Tree
[r2104] by whebisch

Clarify comment and optimize '<'

 2016-09-08 00:14:34 Tree
[r2103] by whebisch

Fix compare for DirectProduct(dim:NNI, PositiveInteger)

 2016-09-07 13:54:06 Tree
[r2102] by whebisch

Unify associative and nonassociative categories

 2016-09-07 03:04:03 Tree
[r2101] by whebisch

Remove LinearlyExplicitOver Integer from SingleInteger

 2016-09-06 13:27:17 Tree
[r2100] by whebisch

Correct a few typos

 2016-09-05 12:11:45 Tree
[r2098] by whebisch

Minor cleanups

 2016-09-04 22:21:47 Tree
[r2093] by whebisch

Remove unsound structure from completions

 2016-08-31 20:23:40 Tree
[r2092] by whebisch

Remove unused literate markup

 2016-08-31 17:21:51 Tree
[r2087] by whebisch

Backport some changes from Open Axiom

 2016-08-30 22:21:29 Tree
Older >