aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/integer.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2008-08-16 * algebra/strap: New. Sequester cached Lisp translation ofdos-reis1-782/+0
algebra bootstrap domains here.
2008-05-18 Fix AW/221dos-reis1-87/+71
* algebra/catdef.spad.pamphlet (OrderedAbelianSemiGroup): Now a join of OrderedSet and AbelianSemiGroup. * algebra/integer.spad.pamphlet (PositiveInteger): Now belongs to both OrderedAbelianSemiGroup and Monoid. Update cached Lisp translation. * shared/algebra: Update databases.
2008-04-14Update cached Lisp translation.dos-reis1-103/+437
2008-04-03Replace `^=' with `~='.dos-reis1-1/+1
2007-08-14Initial population.dos-reis1-0/+865