open-axiom/src/algebra/xpoly.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2015-12-30T10:56:09Z
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
Use Functorial more often.
2013-05-20T04:55:09Z
dos-reis
gdr@axiomatics.org
2013-05-20T04:55:09Z
urn:sha1:1316b335ecc97eeaaa4c91258b31c789d8f4b0d3
* src/algebra/: Systematically use not one? when comparing for
2011-03-12T22:56:37Z
dos-reis
gdr@axiomatics.org
2011-03-12T22:56:37Z
urn:sha1:6c75a87d8ee00d48a0f5703aa9c86591078a50d3
equality with 1.
* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.
2009-10-15T06:42:17Z
dos-reis
gdr@axiomatics.org
2009-10-15T06:42:17Z
urn:sha1:ba8c0daf0ca45c08bd5025f9dd67892132a16110
* algebra/xpoly.spad.pamphlet (OrderedFreeMonoid): Really make an
2009-09-29T07:42:49Z
dos-reis
gdr@axiomatics.org
2009-09-29T07:42:49Z
urn:sha1:9bef621350fff8de58a30cada7c1a64d76b778fb
OrderedMonoid.
* algebra/free.spad.pamphlet (FreeMonoidCategory): New.
2009-09-27T00:51:33Z
dos-reis
gdr@axiomatics.org
2009-09-27T00:51:33Z
urn:sha1:a956f791537aa080285e6437a53fac69ff93b3b6
(FreeModule): Use it.
* algebra/xpoly.spad.pamphlet (OrderedFreeMonoid): Likewise.
* algebra/: Don't quote '!' at end of names.
2009-06-11T23:00:40Z
dos-reis
gdr@axiomatics.org
2009-06-11T23:00:40Z
urn:sha1:9e07dcd91c45bf8b22d932321f5c97e931ffe8ac
* algebra/: Remove quotes from operator namaes in signatures.
2009-06-11T21:51:23Z
dos-reis
gdr@axiomatics.org
2009-06-11T21:51:23Z
urn:sha1:7bd82b57975bbc1ff5b87fed0739815c620ecdcc
* algebra/algext.spad.pamphlet: Qualify `characteristic'.
2009-05-29T19:09:54Z
dos-reis
gdr@axiomatics.org
2009-05-29T19:09:54Z
urn:sha1:c39287d87b632b3582b0e179b08d44dc6c27510f
* algebra/clifford.spad.pamphlet: Likewise.
* algebra/complet.spad.pamphlet: Likewise.
* algebra/contfrac.spad.pamphlet: Likewise.
* algebra/curve.spad.pamphlet: Likewise.
* algebra/ddfact.spad.pamphlet: Likewise.
* algebra/derham.spad.pamphlet: Likewise.
* algebra/equation2.spad.pamphlet: Likewise.
* algebra/ffcat.spad.pamphlet: Likewise.
* algebra/ffcg.spad.pamphlet: Likewise.
* algebra/fff.spad.pamphlet: Likewise.
* algebra/ffnb.spad.pamphlet: Likewise.
* algebra/ffp.spad.pamphlet: Likewise.
* algebra/ffpoly.spad.pamphlet: Likewise.
* algebra/ffx.spad.pamphlet: Likewise.
* algebra/fmod.spad.pamphlet: Likewise.
* algebra/fortmac.spad.pamphlet: Likewise.
* algebra/fr.spad.pamphlet: Likewise.
* algebra/fraction.spad.pamphlet: Likewise.
* algebra/fspace.spad.pamphlet: Likewise.
* algebra/gaussian.spad.pamphlet: Likewise.
* algebra/gpol.spad.pamphlet: Likewise.
* algebra/intclos.spad.pamphlet: Likewise.
* algebra/interval.spad.pamphlet: Likewise.
* algebra/laurent.spad.pamphlet: Likewise.
* algebra/matrix.spad.pamphlet: Likewise.
* algebra/modring.spad.pamphlet: Likewise.
* algebra/oct.spad.pamphlet: Likewise.
* algebra/opalg.spad.pamphlet: Likewise.
* algebra/padic.spad.pamphlet: Likewise.
* algebra/perman.spad.pamphlet: Likewise.
* algebra/pf.spad.pamphlet: Likewise.
* algebra/pfr.spad.pamphlet: Likewise.
* algebra/poly.spad.pamphlet: Likewise.
* algebra/polycat.spad.pamphlet: Likewise.
* algebra/puiseux.spad.pamphlet: Likewise.
* algebra/quat.spad.pamphlet: Likewise.
* algebra/radix.spad.pamphlet: Likewise.
* algebra/reclos.spad.pamphlet: Likewise.
* algebra/resring.spad.pamphlet: Likewise.
* algebra/sf.spad.pamphlet: Likewise.
* algebra/si.spad.pamphlet: Likewise.
* algebra/solvefor.spad.pamphlet: Likewise.
* algebra/sups.spad.pamphlet: Likewise.
* algebra/taylor.spad.pamphlet: Likewise.
* algebra/vector.spad.pamphlet: Likewise.
* algebra/xpoly.spad.pamphlet: Likewise.
* algebra/alql.spad.pamphlet (Database): Now CoercibleFrom List S.
2008-11-21T04:54:55Z
dos-reis
gdr@axiomatics.org
2008-11-21T04:54:55Z
urn:sha1:49727ef97a25730307fdb9622be726e92a41a875
* algebra/asp.spad.pamphlet (Asp20): Now CoercibleFrom MAT FEXPR.
(Asp6): Now CoercibleFrom Vector FEXPR.
* algebra/catdef.spad.pamphlet (Algebra): Extend CoercibleFrom R.
(Ring): Extend CoercibleFrom Integer.
* algebra/formula.spad.pamphlet (ScriptFormulaFormat): Now
CoercibleFrom E.
* algebra/fortran.spad.pamphlet (FortranCode): Remove redundant
signature.
* algebra/fs2ups.spad.pamphlet
(FunctionSpaceToUnivariatePowerSeries): Tidy parameter.
* algebra/laurent.spad.pamphlet
(UnivariateLaurentSeriesConstructorCategory): Extend CoercibleFrom
UTS.
* algebra/manip.spad.pamphlet (PolynomialRoots): Tidy parameter.
* algebra/modmon.spad.pamphlet (ModMonic): Now CoercibleFrom Rep.
* algebra/ore.spad.pamphlet (UnivariateSkewPolynomial): Now
CoercibleFrom Variable x.