open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2016-04-05	Add enumerate to domains that have Finite	Bill Page	1	-0/+3
2016-01-17	subtractIfCan$CancellationAbelianMonoid: return the more principled Maybe %	Gabriel Dos Reis	1	-3/+3
2015-12-30	Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, ce...	Gabriel Dos Reis	1	-14/+2
2013-06-18	* algebra/catdef.spad.pamphlet (CommutativeOperatorCategory): New.	dos-reis	1	-0/+35
2013-06-17	Weaken conditions on parameter of partial differential domains.	dos-reis	1	-3/+3
2013-06-17	More algebra dependencies.	dos-reis	1	-1/+0
2013-05-20	Add Functorial category	dos-reis	1	-0/+20
2013-05-12	* algebra/catdef.spad.pamphlet (OrderedRing): Extend	dos-reis	1	-1/+2
2013-05-11	Fix location of opposite? implementation	dos-reis	1	-2/+2
2013-05-10	Add opposite? and annihilate? exports.	dos-reis	1	-5/+16
2012-03-02	* algebra/catdef.spad.pamphlet (MonoidOperation): Noew CoercibleTo	dos-reis	1	-3/+6
2012-02-25	* algebra/catdef.spad.pamphlet (BinaryOperatorCategory): New.	dos-reis	1	-1/+129
2012-02-15	* algebra/catdef.spad.pamphlet (Ring): Extends SemiRing.	dos-reis	1	-2/+17
2012-01-14	* algebra/catdef.spad.pamphlet (Finite) [random]: Provide default	dos-reis	1	-2/+9
2011-08-13	* algebra/integer.spad.pamphlet (Integer): Remove attribute infinite.	dos-reis	1	-3/+1
2011-03-12	* src/algebra/: Systematically use negative? when comparing for	dos-reis	1	-8/+8
2011-03-12	* src/algebra/: Systematically use negative? when comparing for	dos-reis	1	-3/+5
2011-03-12	* src/algebra/: Systematically use negative? when comparing for	dos-reis	1	-3/+3
2011-03-12	* algebra/catdef.spad.pamphlet (OrderedAbelianGroup): Export	dos-reis	1	-27/+28
2011-03-10	* algebra/catdef.spad.pamphlet (CharacteristicNonZero)	dos-reis	1	-7/+9
2011-03-09	* algebra/catdef.spad.pamphlet (StepThrough) [nextItem]: Now	dos-reis	1	-3/+4
2011-03-09	* algebra/catdef.spad.pamphlet (EuclideanDomain)	dos-reis	1	-6/+6
2011-03-08	* algebra/catdef.spad.pamphlet (SemiRing): New category.	dos-reis	1	-1/+19
2011-03-08	Fix dependency for bootstrap	dos-reis	1	-1/+0
2011-02-20	small cleanups	dos-reis	1	-1/+1
2011-01-31	* interp/g-opt.boot ($VMsideEffectFreeOperators): Remove QCDR,	dos-reis	1	-1/+3
2010-06-30	* algebra/vector.spad.pamphlet (LinearElement): New.	dos-reis	1	-1/+4
2010-06-29	Various cleanups	dos-reis	1	-1/+2
2010-06-29	* algebra/catdef.spad.pamphlet (OrderedType): New.	dos-reis	1	-3/+26
2010-06-29	* algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare here.	dos-reis	1	-34/+20
2010-06-29	* algebra/catdef.spad.pamphlet (OrderedType): New category.	dos-reis	1	-1/+41
2010-06-27	* algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)	dos-reis	1	-3/+3
2010-06-26	* algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Satisfy	dos-reis	1	-1/+1
2010-06-19	* algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)	dos-reis	1	-1/+7
2010-06-19	* algebra/catdef.spad.pamphlet (LeftLinearSet): Remove declaration	dos-reis	1	-8/+0
2010-06-18	* algebra/catdef.spad.pamphlet (DifferentialModule): Tidy.	dos-reis	1	-6/+38
2010-06-18	* algebra/catdef.spad.pamphlet (DifferentialExtension): Now	dos-reis	1	-28/+2
2010-06-17	* algebra/catdef.spad.pamphlet (DifferentialSpaceExtension): New.	dos-reis	1	-0/+72
2010-06-17	* algebra/catdef.spad.pamphlet (PartialDifferentialSpace): New.	dos-reis	1	-44/+64
2010-06-17	* algebra/catdef.spad.pamphlet (LeftLinearSet): Weaken requirement	dos-reis	1	-21/+15
2010-06-16	* algebra/catdef.spad.pamphlet (DifferentialModule): New.	dos-reis	1	-2/+55
2010-06-16	* algebra/catdef.spad.pamphlet (DifferentialRing): Now extends	dos-reis	1	-10/+1
2010-06-15	* algebra/catdef.spad.pamphlet (DifferentialSpace): New.	dos-reis	1	-0/+25
2010-06-14	* algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver): Now	dos-reis	1	-3/+8
2010-06-14	* Partially revert previous change.	dos-reis	1	-2/+2
2010-06-14	* algebra/catdef.spad.pamphlet (DifferentialRing): Now extends	dos-reis	1	-12/+3
2010-06-13	* algebra/catdef.spad.pamphlet (DifferentialDomain): New.	dos-reis	1	-0/+31
2010-02-17	* algebra/aggcat.spad.pamphlet: Remove unnecessary call to void.	dos-reis	1	-5/+5
2009-10-15	* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.	dos-reis	1	-1/+1
2009-06-11	* algebra/: Remove quotes from operator namaes in signatures.	dos-reis	1	-24/+24