open-axiom/src/algebra/odealg.spad.pamphlet, branch masteropen scientific computation systemhttps://git.pashev.ru/open-axiom/atom?h=master2011-10-25T03:47:29Z * 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.
* src/algebra/: Systematically use negative? when comparing for2011-03-12T19:17:32Zdos-reisgdr@axiomatics.org2011-03-12T19:17:32Zurn:sha1:c93e84048964194e5674e859d6bd8827010f09f6
greater than 0.
* 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:9e07dcd91c45bf8b22d932321f5c97e931ffe8acReplace `^=' with `~='.2008-04-03T04:23:42Zdos-reisgdr@axiomatics.org2008-04-03T04:23:42Zurn:sha1:001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532Initial population.2007-08-14T05:14:52Zdos-reisgdr@axiomatics.org2007-08-14T05:14:52Zurn:sha1:ab8cc85adde879fb963c94d15675783f2cf4b183