open-axiom/src/algebra/modmon.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2011-10-25T12:24:35Z
* algebra/modmon.spad.pamphlet (ModMonic): Rename second parameter
2011-10-25T12:24:35Z
dos-reis
gdr@axiomatics.org
2011-10-25T12:24:35Z
urn:sha1:a0f5324aaab8bf19cad2dc6b80e9e026eea02854
from Rep to P. Addd capsule-level definition for Rep.
[setPoly]: Adjust parameter type.
[coerce]: Likewise.
[UnVectorise]: Restrict reduction to %, then coerce to Rep.
[monomial]: Add appropriate coercion to Rep.
* interp/define.boot ($mutableDomain): Remove. Adjust users.
2011-08-25T12:35:16Z
dos-reis
gdr@axiomatics.org
2011-08-25T12:35:16Z
urn:sha1:c25dfacda02a40b2055328ba5898086c043e5427
($mutableDomains): Likewise.
* interp/database.boot (dbMutable?): Remove.
* interp/clam.boot (addToclam): Remove as unused.
* algebra/modmon.spad.pamphlet: Do not make MoMonic mutable.
* algebra/defaults.spad.pamphlet: Do not make RepeatedSquaring and
RepeatedDoubling, FiniteLinearAggregateSort mutable.
* src/algebra/: Systematically use not zero? when comparing for
2011-03-13T03:43:50Z
dos-reis
gdr@axiomatics.org
2011-03-13T03:43:50Z
urn:sha1:11eebf207528f86dfa4556be3b2cc7cba57244a6
equality with 0.
* 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
* interp/i-map.boot (addMap): Fix typo from last commit.
2009-08-16T14:17:40Z
dos-reis
gdr@axiomatics.org
2009-08-16T14:17:40Z
urn:sha1:ab480e7c03c9f3ab95856eaff6e6493882ff0c36
* interp/compiler.boot (compElt): Fix thinko, one more time.
* interp/nruncomp.boot (optDeltaEntry): Don't overquote VM forms
for constants.
* algebra/algext.spad.pamphlet: Call niladic functions with empty
argument lists.
* algebra/ddfact.spad.pamphlet: Likewise.
* algebra/gpgcd.spad.pamphlet: Likewise.
* algebra/modmon.spad.pamphlet: Likewise.
* algebra/pf.spad.pamphlet: Likewise.
* algebra/polycat.spad.pamphlet: Likewise.
* algebra/twofact.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: "nil" is now a ocnstant.
* algebra/string.spad.pamphlet: "space", "quote", "escape" are now
constants.
* 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.
Replace `^=' with `~='.
2008-04-03T04:23:42Z
dos-reis
gdr@axiomatics.org
2008-04-03T04:23:42Z
urn:sha1:001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532
Initial population.
2007-08-14T05:14:52Z
dos-reis
gdr@axiomatics.org
2007-08-14T05:14:52Z
urn:sha1:ab8cc85adde879fb963c94d15675783f2cf4b183