open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-11-23	* algebra/seg.spad.pamphlet (SegmentCategory): Extend	dos-reis	1	-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 of	dos-reis	1	-782/+0
	algebra bootstrap domains here.
2008-05-18	Fix AW/221	dos-reis	1	-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-14	Update cached Lisp translation.	dos-reis	1	-103/+437

2008-04-03	Replace `^=' with `~='.	dos-reis	1	-1/+1

2007-08-14	Initial population.	dos-reis	1	-0/+865