open-axiom/src/algebra/vector.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2016-01-18T06:53:01Z
subtractIfCan$CancellationAbelianMonoid: return the more principled Maybe %
2016-01-18T06:53:01Z
Gabriel Dos Reis
gdr@axiomatics.org
2016-01-18T06:53:01Z
urn:sha1:d07fc9735f40e545edda456e15dbab783c500f6a
Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, central, noetherian, NullSquare, JacobiIdentity.
2015-12-30T10:56:09Z
Gabriel Dos Reis
gdr@axiomatics.org
2015-12-30T10:56:09Z
urn:sha1:9213251560073e45e73ae94c46bc382a625a57bb
Define members, not parts
2013-05-18T06:14:27Z
dos-reis
gdr@axiomatics.org
2013-05-18T06:14:27Z
urn:sha1:979b28507f84eff5c739879f4b15e595eeab00f9
* algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarily
2013-05-16T20:17:37Z
dos-reis
gdr@axiomatics.org
2013-05-16T20:17:37Z
urn:sha1:1b0bb495c53cbd98069caeb30089c5ff778aceb3
include attribute finiteAggregate.
(StackAggregate): Extend category FiniteAggregate instead of
attribute finiteAggregate.
(QueueAggregate): Likewise.
(PriorityQueueAggregate): Likewise.
(FiniteSetAggregate): Likewise.
* algebra/lmdict.spad.pamphlet (ListMultiDictionary): Likewise.
* algebra/matcat.spad.pamphlet (MatrixCategory): Likewise.
* algebra/mset.spad.pamphlet (Multiset): Likewise.
* algebra/newdata.spad.pamphlet (SplittingTree): Likewise.
* algebra/polset.spad.pamphlet (PolynomialSetCategory): Likewise.
* algebra/tree.spad.pamphlet (Tree): Likewise.
(BinaryTreeCategory): Likewise.
* algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
* algebra/vector.spad.pamphlet (DirectProductCategory): Likewise.
Remove IndecedVector.
2013-05-13T02:02:10Z
dos-reis
gdr@axiomatics.org
2013-05-13T02:02:10Z
urn:sha1:227e4630323bce249cad25cd4f58e96044d72082
Tidy linear elements implememtations
2013-05-07T15:10:31Z
dos-reis
gdr@axiomatics.org
2013-05-07T15:10:31Z
urn:sha1:cddf510296900897a19d67614e4cf4e145da8646
* algebra/aggcat.spad.pamphlet (Aggregate) [more?,less?,size?]:
2011-05-19T21:38:54Z
dos-reis
gdr@axiomatics.org
2011-05-19T21:38:54Z
urn:sha1:09469d002d15b88c105731142bce403a1aa5a21b
Move to StreamAggregate.
* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory):
Don't implement them.
* algebra/tree.spad.pamphlet (Tree): Likewise.
* algebra/vector.spad.pamphlet (DualBasis): New.
2010-07-03T09:08:49Z
dos-reis
gdr@axiomatics.org
2010-07-03T09:08:49Z
urn:sha1:10d3c5a3fc28b4931ad22d65b3a12e4b7a6d5083
(LinearBasis): Likewise.
(LinearElement): Use them.
(LinearForm): New.
* algebra/vector.spad.pamphlet (LinearElement): New.
2010-06-30T15:10:34Z
dos-reis
gdr@axiomatics.org
2010-06-30T15:10:34Z
urn:sha1:2b3e5e071c5ebb0d4982ae8fd2426c43f6147e36
* algebra/vector.spad.pamphlet (DirectProductCategory): Extend
2010-06-17T12:05:08Z
dos-reis
gdr@axiomatics.org
2010-06-17T12:05:08Z
urn:sha1:cffd2746785e6b40b8d4f2b44ab0b4a936cd6f24
AbelianMonoid if element type satisfies AbelianMonoid.
Extend AbelianGroup if element type satisfies AbelianGroup.
Extend Module R if R satisfies CommutativeRing; remove bogus
Algebra R and CommutativeRing extension.