open-axiom/src/algebra/carten.spad.pamphlet, branch masteropen scientific computation systemhttps://git.pashev.ru/open-axiom/atom?h=master2013-05-13T01:01:50Z * algebra/carten.spad.pamphlet (CartesianTensor): Use2013-05-13T01:01:50Zdos-reisgdr@axiomatics.org2013-05-13T01:01:50Zurn:sha1:e410b4f8bb671c49d0b46add881b028f47e93439
PrimitiveArray in lieu of 0-based IndexedVector.
* 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.
* algebra/alql.spad.pamphlet (IndexCard): Now satisfies2011-09-15T15:09:25Zdos-reisgdr@axiomatics.org2011-09-15T15:09:25Zurn:sha1:9025c74466dcd1c38dde5e4c63934ff0b2e4f18d
CoercibleFrom String. Remove explicit coerce export.
* algebra/carten.spad.pamphlet (CartesianTensor): Remove explicit
coerce export. Add satisfaction of CoercibleFrom appropriate
domains.
* algebra/color.spad.pamphlet (Palette): Relace explicit coerce
export with CoercibleTo %.
* algebra/constant.spad.pamphlet (InnerAlgebraicNumber): Likewise.
* algebra/dpolcat.spad.pamphlet (DifferentialVariableCategory):
Likewise.
Remove redundant capsule-level declarations2011-08-14T00:07:49Zdos-reisgdr@axiomatics.org2011-08-14T00:07:49Zurn:sha1:1734e62de427defcd090a95bc8b3b879c67d3fbf * src/algebra/: Systematically use not one? when comparing for2011-03-12T22:56:37Zdos-reisgdr@axiomatics.org2011-03-12T22:56:37Zurn:sha1:6c75a87d8ee00d48a0f5703aa9c86591078a50d3
equality with 1.
* src/algebra/: Systematically use negative? when comparing for2011-03-12T17:04:43Zdos-reisgdr@axiomatics.org2011-03-12T17:04:43Zurn:sha1:52fddea19454dc2b9bcb54c6edd5a4cd4f5765a9
less than 0.
* 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 * algebra/: Don't quote '!' at end of names.2009-06-11T23:00:40Zdos-reisgdr@axiomatics.org2009-06-11T23:00:40Zurn:sha1:9e07dcd91c45bf8b22d932321f5c97e931ffe8ac * algebra/: Remove quotes from operator namaes in signatures.2009-06-11T21:51:23Zdos-reisgdr@axiomatics.org2009-06-11T21:51:23Zurn:sha1:7bd82b57975bbc1ff5b87fed0739815c620ecdcc