open-axiom/src/algebra/dpolcat.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2011-09-15T15:09:25Z
* algebra/alql.spad.pamphlet (IndexCard): Now satisfies
2011-09-15T15:09:25Z
dos-reis
gdr@axiomatics.org
2011-09-15T15:09:25Z
urn: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.
* 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.
* algebra/dpolcat.spad.pamphlet (DifferentialVariableCategory):
2010-06-16T03:19:56Z
dos-reis
gdr@axiomatics.org
2010-06-16T03:19:56Z
urn:sha1:2bbc83eac50582a5ffab2860f4279aac28f9c429
Extend DifferentialSpace.
* Partially revert previous change.
2010-06-14T04:25:41Z
dos-reis
gdr@axiomatics.org
2010-06-14T04:25:41Z
urn:sha1:5f7a5c1a81c50807bf1315260f94108dd9a5ac2e
* algebra/catdef.spad.pamphlet (DifferentialRing): Now extends
2010-06-14T01:01:07Z
dos-reis
gdr@axiomatics.org
2010-06-14T01:01:07Z
urn:sha1:335db800c7cbaff88eda34d83e23ad808ea42fb8
DifferentialDomain.
(DifferentialExtension): Check parameter for only DifferentialDomain.
* algebra/dpolcat.spad.pamphlet (DifferentialPolynomialCategory):
Likewise.
* algebra/lodop.spad.pamphlet (OppositeMonogenicLinearOperator):
Likewise.
* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.
2009-10-15T06:42:17Z
dos-reis
gdr@axiomatics.org
2009-10-15T06:42:17Z
urn:sha1:ba8c0daf0ca45c08bd5025f9dd67892132a16110
Restrict loop variable scopes, take 2.
2008-05-11T19:14:29Z
dos-reis
gdr@axiomatics.org
2008-05-11T19:14:29Z
urn:sha1:20e1bed66399cce629d08a71ca0552ed24fef1d1
* interp/iterator.boot (compReduce1): Maintain proper scope for
loop variables.
(compRepeatOrCollect): Really maintain proper scope for loop variables.
* interp/compiler.boot (eltModemapFilter): Highlight faulty selector.
(seteltModemapFilter): Likewise.
* interp/c-util.boot (stackMessage): Don't build message if there
is no argument for substitution.
* algebra/aggcat.spad.pamphlet (#$UnaryRecursiveAggregate):
Declare free loop variable.
(cycleEntry$UnaryRecursiveAggregate): Likewise.
(cycleLength): Likewise.
(merge$OneDimensionalArrayAggregate): Likewise.
(delete$OneDimensionalArrayAggregate): Likewise.
(position$ListAggregate): Likewise.
* algebra/array1.spad.pamphlet (merge!$IndexedFlexibleArray): Likewise.
* algebra/combfunc.spad.pamphlet (K2fact$CombinatorialFunction):
Likewise.
* algebra/curve.spad.pamphlet
(nonSingularModel$FunctionFieldCategory): Likewise.
* algebra/dpolcat.spad.pamphlet
(differentiate$DifferentialPolynomialCategory): Likewise.
* algebra/efstruc.spad.pamphlet
(validExponential$ElementaryFunctionStructurePackage): Likewise.
(ker2explogs$InnerTrigonometricManipulations): Likewise.
(complexNormalize$TrigonometricManipulations): Likewise.
Initial population.
2007-08-14T05:14:52Z
dos-reis
gdr@axiomatics.org
2007-08-14T05:14:52Z
urn:sha1:ab8cc85adde879fb963c94d15675783f2cf4b183