index
:
open-axiom
master
new-build
open scientific computation system
Igor Pashev
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
algebra
/
catdef.spad.pamphlet
Age
Commit message (
Expand
)
Author
Files
Lines
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
2009-05-31
* algebra/term.spad.pamphlet (is?$OperatorCategory): New.
dos-reis
1
-20
/
+78
2009-05-30
* algebra/catdef.spad.pamphlet (SetCategory): Provide default
dos-reis
1
-1
/
+1
2009-05-21
* algebra/catdef.spad.pamphlet (before?$SetCategory): New.
dos-reis
1
-3
/
+5
2009-02-19
* algebra/catdef.spad.pamphlet (characteristic$Ring): Make a
dos-reis
1
-1
/
+3
2009-02-08
Fix AW/103
dos-reis
1
-0
/
+1
2009-02-08
Fix AW/66
dos-reis
1
-4
/
+2
[next]