open-axiom/src/algebra/permgrps.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2015-12-31T22:56:12Z
Avoid modulus bias in 'random()' usage.
2015-12-31T22:56:12Z
Gabriel Dos Reis
gdr@axiomatics.org
2015-12-31T22:56:12Z
urn:sha1:f51aee83708673ef9941174951bec9aee80cb03c
Use CoercibleTo category instances instead of ad-hoc hard-wired 'coerce: % -> T' signatures.
2015-12-30T18:59:32Z
Gabriel Dos Reis
gdr@axiomatics.org
2015-12-30T18:59:32Z
urn:sha1:853eb071dce89161c796d81b24eddd9e073687af
Remove parts from HomogeneousAggregate
2013-05-18T08:24:50Z
dos-reis
gdr@axiomatics.org
2013-05-18T08:24:50Z
urn:sha1:12b29bbbfe86f81b415ffefe70262ebcc786f3b3
* interp/lisp-backend.boot ($freeVarName): New global constant.
2011-08-14T21:23:34Z
dos-reis
gdr@axiomatics.org
2011-08-14T21:23:34Z
urn:sha1:7dff09b8cac803d6936887fdfa286a2a25073ac2
(loopVarInit): New.
(expandIN): Use it.
(expandON): Likewise.
(expandSTEP): Likewise.
(massageFreeVarInits): New.
(expandLoop): Use it.
* interp/fnewmeta.lisp (PARSE-QuantifiedVariable): Tidy.
(PARSE-AnyId): Likewise.
(PARSE-Variable): New. Allow scope-of-type specification for
loop variable.
(PARSE-Iterator): Use it.
* interp/compiler.boot (massage_llop): Don't check
$mayHaveFreeIteratorVariables.
(compRepeatOrCollect): Don't bind it.
(classifyIteratorVariable): New.
(complainIfShadowing): Remove as no longer needed.
(compStepIterator): Use it. Tidy.
(compONIterator, compINIterator): New. Split out of compIterator.
(compIterator): Refactor.
* interp/functor.boot (optFunctorBody): Fix thinko.
* interp/g-opt.boot (optCollectVector): A STEP iterator may have a
storage class.
* algebra/clip.spad.pamphlet: Fix loop variable scope.
* algebra/ffpoly.spad.pamphlet: Likewise.
* algebra/fparfrac.spad.pamphlet: Likewise.
* algebra/gdpoly.spad.pamphlet: Likewise.
* algebra/ghensel.spad.pamphlet: Likewise.
* algebra/groebsol.spad.pamphlet: Likewise.
* algebra/intfact.spad.pamphlet: Likewise.
* algebra/matfuns.spad.pamphlet: Likewise.
* algebra/moddfact.spad.pamphlet: Likewise.
* algebra/numtheor.spad.pamphlet: Likewise.
* algebra/permgrps.spad.pamphlet: Likewise.
* algebra/pfbr.spad.pamphlet: Likewise.
* algebra/pgcd.spad.pamphlet: Likewise.
* algebra/pleqn.spad.pamphlet: Likewise.
* algebra/pseudolin.spad.pamphlet: Likewise.
* algebra/radeigen.spad.pamphlet: Likewise.
* algebra/radix.spad.pamphlet: Likewise.
* algebra/regset.spad.pamphlet: Likewise.
* algebra/rep2.spad.pamphlet: Likewise.
* algebra/sgcf.spad.pamphlet: Likewise.
* algebra/smith.spad.pamphlet: Likewise.
* algebra/sregset.spad.pamphlet: Likewise.
* algebra/syssolp.spad.pamphlet: Likewise.
* algebra/zerodim.spad.pamphlet: Likewise.
* algebra/crfp.spad.pamphlet: Remove capsule-level declaration of
local variables.
* algebra/galfact.spad.pamphlet: Likewise.
* algebra/mathml.spad.pamphlet: Likewise.
* algebra/numode.spad.pamphlet: Likewise.
* algebra/tex.spad.pamphlet: Likewise.
* algebra/updecomp.spad.pamphlet: Likewise.
* 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.
* src/algebra/: Systematically use negative? when comparing for
2011-03-12T19:17:32Z
dos-reis
gdr@axiomatics.org
2011-03-12T19:17:32Z
urn:sha1:c93e84048964194e5674e859d6bd8827010f09f6
greater than 0.
* src/algebra/: Systematically use negative? when comparing for
2011-03-12T17:04:43Z
dos-reis
gdr@axiomatics.org
2011-03-12T17:04:43Z
urn:sha1:52fddea19454dc2b9bcb54c6edd5a4cd4f5765a9
less than 0.
* interp/nlib.lisp (COMPILE-LIB-FILE): Rework. Halt compilation
2010-06-21T13:11:55Z
dos-reis
gdr@axiomatics.org
2010-06-21T13:11:55Z
urn: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 commit
2010-06-21T03:16:39Z
dos-reis
gdr@axiomatics.org
2010-06-21T03:16:39Z
urn:sha1:afaaaac2b55741bfe43099f819fd4a9592b1c022
* algebra/sgcf.spad.pamphlet (SymmetricGroupCombinatoricFunctions)
2010-06-21T03:14:17Z
dos-reis
gdr@axiomatics.org
2010-06-21T03:14:17Z
urn:sha1:640d839b4de4d0daf0dde00ba08eab6d264160ad
[listYoungTableaus]: Fix thinko. Don't use lattice in its own
initialization before it is defined.