aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/integer.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2008-11-23 * algebra/seg.spad.pamphlet (SegmentCategory): Extenddos-reis1-3/+1
ConvertibleFrom S. * algebra/newpoint.spad.pamphlet (PointCategory): Extend ConvertibleFrom List R. * algebra/misc.spad.pamphlet (SingletonAsOrderedSet): Now ConvertibleTo Symbol. * algebra/integer.spad.pamphlet (RomanNumeral): Now ConvertibleFrom Symbol. * algebra/float.spad.pamphlet (Float): Now ConvertibleFrom SF. * algebra/sex.spad.pamphlet (SExpressionCategory): Extend ConvertibleFrom Str, ConvertibleFrom Sym, ConvertibleFrom Int, ConvertibleFrom Flt, ConvertibleFrom List %.
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