aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/catdef.spad.pamphlet
AgeCommit message (Expand)AuthorFilesLines
2013-05-20Add Functorial categorydos-reis1-0/+20
2013-05-12 * algebra/catdef.spad.pamphlet (OrderedRing): Extenddos-reis1-1/+2
2013-05-11Fix location of opposite? implementationdos-reis1-2/+2
2013-05-10Add opposite? and annihilate? exports.dos-reis1-5/+16
2012-03-02 * algebra/catdef.spad.pamphlet (MonoidOperation): Noew CoercibleTodos-reis1-3/+6
2012-02-25 * algebra/catdef.spad.pamphlet (BinaryOperatorCategory): New.dos-reis1-1/+129
2012-02-15 * algebra/catdef.spad.pamphlet (Ring): Extends SemiRing.dos-reis1-2/+17
2012-01-14 * algebra/catdef.spad.pamphlet (Finite) [random]: Provide defaultdos-reis1-2/+9
2011-08-13 * algebra/integer.spad.pamphlet (Integer): Remove attribute infinite.dos-reis1-3/+1
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-8/+8
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-3/+5
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-3/+3
2011-03-12 * algebra/catdef.spad.pamphlet (OrderedAbelianGroup): Exportdos-reis1-27/+28
2011-03-10 * algebra/catdef.spad.pamphlet (CharacteristicNonZero)dos-reis1-7/+9
2011-03-09 * algebra/catdef.spad.pamphlet (StepThrough) [nextItem]: Nowdos-reis1-3/+4
2011-03-09 * algebra/catdef.spad.pamphlet (EuclideanDomain)dos-reis1-6/+6
2011-03-08 * algebra/catdef.spad.pamphlet (SemiRing): New category.dos-reis1-1/+19
2011-03-08Fix dependency for bootstrapdos-reis1-1/+0
2011-02-20small cleanupsdos-reis1-1/+1
2011-01-31 * interp/g-opt.boot ($VMsideEffectFreeOperators): Remove QCDR,dos-reis1-1/+3
2010-06-30 * algebra/vector.spad.pamphlet (LinearElement): New.dos-reis1-1/+4
2010-06-29Various cleanupsdos-reis1-1/+2
2010-06-29 * algebra/catdef.spad.pamphlet (OrderedType): New.dos-reis1-3/+26
2010-06-29 * algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare here.dos-reis1-34/+20
2010-06-29 * algebra/catdef.spad.pamphlet (OrderedType): New category.dos-reis1-1/+41
2010-06-27 * algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)dos-reis1-3/+3
2010-06-26 * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Satisfydos-reis1-1/+1
2010-06-19 * algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)dos-reis1-1/+7
2010-06-19 * algebra/catdef.spad.pamphlet (LeftLinearSet): Remove declarationdos-reis1-8/+0
2010-06-18 * algebra/catdef.spad.pamphlet (DifferentialModule): Tidy.dos-reis1-6/+38
2010-06-18 * algebra/catdef.spad.pamphlet (DifferentialExtension): Nowdos-reis1-28/+2
2010-06-17 * algebra/catdef.spad.pamphlet (DifferentialSpaceExtension): New.dos-reis1-0/+72
2010-06-17 * algebra/catdef.spad.pamphlet (PartialDifferentialSpace): New.dos-reis1-44/+64
2010-06-17 * algebra/catdef.spad.pamphlet (LeftLinearSet): Weaken requirementdos-reis1-21/+15
2010-06-16 * algebra/catdef.spad.pamphlet (DifferentialModule): New.dos-reis1-2/+55
2010-06-16 * algebra/catdef.spad.pamphlet (DifferentialRing): Now extendsdos-reis1-10/+1
2010-06-15 * algebra/catdef.spad.pamphlet (DifferentialSpace): New.dos-reis1-0/+25
2010-06-14 * algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver): Nowdos-reis1-3/+8
2010-06-14 * Partially revert previous change.dos-reis1-2/+2
2010-06-14 * algebra/catdef.spad.pamphlet (DifferentialRing): Now extendsdos-reis1-12/+3
2010-06-13 * algebra/catdef.spad.pamphlet (DifferentialDomain): New.dos-reis1-0/+31
2010-02-17 * algebra/aggcat.spad.pamphlet: Remove unnecessary call to void.dos-reis1-5/+5
2009-10-15 * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.dos-reis1-1/+1
2009-06-11 * algebra/: Remove quotes from operator namaes in signatures.dos-reis1-24/+24
2009-05-31 * algebra/term.spad.pamphlet (is?$OperatorCategory): New.dos-reis1-20/+78
2009-05-30 * algebra/catdef.spad.pamphlet (SetCategory): Provide defaultdos-reis1-1/+1
2009-05-21 * algebra/catdef.spad.pamphlet (before?$SetCategory): New.dos-reis1-3/+5
2009-02-19 * algebra/catdef.spad.pamphlet (characteristic$Ring): Make ados-reis1-1/+3
2009-02-08 Fix AW/103dos-reis1-0/+1
2009-02-08 Fix AW/66dos-reis1-4/+2