open-axiom/src/algebra/naalgc.spad.pamphlet, branch masteropen scientific computation systemhttp://git.pashev.ru/open-axiom/atom?h=master2016-01-22T16:25:59ZRemove antiquated syntax for operator declaration.2016-01-22T16:25:59ZGabriel Dos Reisgdr@axiomatics.org2016-01-22T16:25:59Zurn:sha1:7b6b9b1e80d0fe90a9009864f107735d244aa0d7Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, central, noetherian, NullSquare, JacobiIdentity.2015-12-30T10:56:09ZGabriel Dos Reisgdr@axiomatics.org2015-12-30T10:56:09Zurn:sha1:9213251560073e45e73ae94c46bc382a625a57bbUse members, not parts2013-05-18T06:52:11Zdos-reisgdr@axiomatics.org2013-05-18T06:52:11Zurn:sha1:0611af2a9349c640402fded93ddc53f641af9967 * algebra/perman.spad.pamphlet (Permanent): Specify type of local2011-10-25T03:47:29Zdos-reisgdr@axiomatics.org2011-10-25T03:47:29Zurn:sha1:2092a554d70524bc90440d96367e32c9ede28ee8
variable j.
* algebra/patmatch1.spad.pamphlet (PatternMatchTools): Tidy.
* algebra/padic.spad.pamphlet: Restrict type of literal constants.
* algebra/sttf.spad.pamphlet: Likewise.
* algebra/puiseux.spad.pamphlet: Likewise.
* algebra/odealg.spad.pamphlet (SystemODESolver) [applyLodo0]:
Specify type of local variable ans.
* algebra/numtheor.spad.pamphlet (IntegerNumberTheoryFunctions): Tidy.
* algebra/naalgc.spad.pamphlet (MonadWithUnit) [rightPower]:
Specify type of local variable res.
[leftPower]: Likewise.
* algebra/lodop.spad.pamphlet (NonCommutativeOperatorDivision)
[leftLcm]: Specify type of local variable v.
* algebra/intfact.spad.pamphlet (IntegerRoots) [approxSqrt]:
Specify type of local variables old and new.
* algebra/elfuts.spad.pamphlet
(EllipticFunctionsUnivariateTaylorSeries): Restrict types of
literal constants.
* algebra/ffnb.spad.pamphlet
(FiniteFieldNormalBasisExtensionByPolynomial): Likewise.
* algebra/fnla.spad.pamphlet (FreeNilpotentLie): Likewise.
* algebra/intaux.spad.pamphlet (IntegrationResult): Likewise.
* algebra/defintef.spad.pamphlet
(ElementaryFunctionDefiniteIntegration) [checkSMP]: Specify type
in the definition of local variable n.
* algebra/combinat.spad.pamphlet (IntegerCombinatoricFunctions):
Tidy definition of local variables.
* algebra/clifford.spad.pamphlet (CliffordAlgebra): Specify type in
the definition of local variables k, exchanges, bz.
* algebra/catdef.spad.pamphlet (CartesianTensor): Specify type in the
definition of local varibles rx and offz.
Remove useless variables zol, xol, oly, and zoly.
* interp/vmlisp.lisp (QSTRING): Remove.2010-12-30T08:50:00Zdos-reisgdr@axiomatics.org2010-12-30T08:50:00Zurn:sha1:e46eacc852aacf74de6d98ed5aad9249f41eabb0
(QSTRINGLENGTH): Likewise.
(STRINGLENGTH): Likewise.
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %i2s.
* interp/g-util.boot: Expand it.
* interp/debug.lisp (/LOCATE): Replace STRINGLENGTH with LENGTH.
* algebra/fortran.spad.pamphlet: Don't use STRINGIMAGE from Lisp.
* algebra/generic.spad.pamphlet: Likewise.
* algebra/naalg.spad.pamphlet: Likewise.
* algebra/naalgc.spad.pamphlet: Likewise.
* algebra/outform.spad.pamphlet: Likewise.
* algebra/string.spad.pamphlet: Likewise.
* interp/nlib.lisp (COMPILE-LIB-FILE): Rework. Halt compilation2010-06-21T13:11:55Zdos-reisgdr@axiomatics.org2010-06-21T13:11:55Zurn:sha1:79cbfd0098caff35ed453782986ddcc8fa9ae142
if generated is malformed or contains serious warnings.
* algebra/pfo.spad.pamphlet (PointsOfFiniteOrder) [cmult]: Merge
local conditional definitions.
* algebra/permgrps.spad.pamphlet (PermutationGroup) [cosetRep]:
Don't forget to return a value.
* algebra/newpoly.spad.pamphlet (RecursivePolynomialCategory)
[exactQuo]: Merge conditional local definitions.
[ZToR]: Inline at sole use point. Remove conditional definitions.
[QToR]: Likewise.
[PZToPR]: Likewise.
[PQToPR]: Likewise.
* algebra/naalgc.spad.pamphlet (FramedNonAssociativeAlgebra)
[leftRankPolynomial]: Initialize local variable xx.
(rightRankPolynomial): Likewise.
* algebra/multsqfr.spad.pamphlet (MultivariateSquareFree)
[intChoose]: Error if no solution is found in the loop.
* algebra/mts.spad.pamphlet (SparseMultivariateTaylorSeries): Tidy.
[stream] Remove duplicate definition.
* algebra/d01routine.spad.pamphlet (d01anfAnnaType) [measure]: Tidy.
(d01asfAnnaType) [measure]: Likewise.
* algebra/d01transform.spad.pamphlet (d01TransformFunctionType)
[measure]: Likewise.
* algebra/forttyp.spad.pamphlet (FortranScalarType) [coerce]: Likewise.
Revert previous erroneous commit2010-06-21T03:16:39Zdos-reisgdr@axiomatics.org2010-06-21T03:16:39Zurn:sha1:afaaaac2b55741bfe43099f819fd4a9592b1c022 * algebra/sgcf.spad.pamphlet (SymmetricGroupCombinatoricFunctions)2010-06-21T03:14:17Zdos-reisgdr@axiomatics.org2010-06-21T03:14:17Zurn:sha1:640d839b4de4d0daf0dde00ba08eab6d264160ad
[listYoungTableaus]: Fix thinko. Don't use lattice in its own
initialization before it is defined.
* algebra/carten.spad.pamphlet (CartesianTensor): Satisfy2010-04-26T02:05:39Zdos-reisgdr@axiomatics.org2010-04-26T02:05:39Zurn:sha1:95a8891a808572509f7449aa32022df42f8b7ab8
instantiation of Eltable.
* algebra/clifford.spad.pamphlet (QuadraticForm): Likewise.
* algebra/domain.spad.pamphlet (DomainTemplate): Likewise.
* algebra/files.spad.pamphlet (Library): Likewise.
* algebra/aggcat.spad.pamphlet (LinearAggregate): Extend
instantiation of Eltable.
* algebra/naalg.spad.pamphlet (FiniteRankNonAssociativeAlgebra):
Likewise.
* algebra/pscat.spad.pamphlet (UnivariatePowerSeriesCategory):
Likewise.
* algebra/sex.spad.pamphlet (SExpressionCategory): Likewise.
* algebra/Makefile.pamphlet: Update rules.
* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.2009-10-15T06:42:17Zdos-reisgdr@axiomatics.org2009-10-15T06:42:17Zurn:sha1:ba8c0daf0ca45c08bd5025f9dd67892132a16110