aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/efstruc.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-05-11 19:14:29 +0000
committerdos-reis <gdr@axiomatics.org>2008-05-11 19:14:29 +0000
commit20e1bed66399cce629d08a71ca0552ed24fef1d1 (patch)
tree000ab5b98e479d1c077fc4f6fd4a9f46c4a9451c /src/algebra/efstruc.spad.pamphlet
parent51422a0c6bc0128cd5635a01c402ef56ad4ed770 (diff)
downloadopen-axiom-20e1bed66399cce629d08a71ca0552ed24fef1d1.tar.gz
Restrict loop variable scopes, take 2.
* 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.
Diffstat (limited to 'src/algebra/efstruc.spad.pamphlet')
-rw-r--r--src/algebra/efstruc.spad.pamphlet6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/algebra/efstruc.spad.pamphlet b/src/algebra/efstruc.spad.pamphlet
index 9a015122..a73963fd 100644
--- a/src/algebra/efstruc.spad.pamphlet
+++ b/src/algebra/efstruc.spad.pamphlet
@@ -439,6 +439,7 @@ ElementaryFunctionStructurePackage(R,F): Exports == Implementation where
f
validExponential(twr, eta, x) ==
+ fns : List F
(c := solveLinearlyOverQ(construct([differentiate(g, x)
for g in (fns := toY twr)]$List(F))@Vector(F),
differentiate(eta, x))) case "failed" => "failed"
@@ -565,6 +566,7 @@ InnerTrigonometricManipulations(R,F,FG): Exports == Implementation where
-- This expects the argument to have only tan and atans left.
-- Does a half-angle correction if k is not in the initial kernel list.
ker2explogs(k, l, lx) ==
+ kf : FG
empty?([v for v in variables(kf := k::FG) |
member?(v, lx)]$List(SY)) => kf
empty?(args := [trigs2explogs(a, l, lx)
@@ -762,6 +764,7 @@ TrigonometricManipulations(R, F): Exports == Implementation where
F2FG g
complexNormalize(f, x) ==
+ g : F
any?(has?(operator #1, "rtrig"),
[k for k in tower(g := realElementary(f, x))
| member?(x, variables(k::F))]$List(K))$List(K) =>
@@ -778,6 +781,7 @@ TrigonometricManipulations(R, F): Exports == Implementation where
g
complexElementary(f, x) ==
+ g : F
any?(has?(operator #1, "rtrig"),
[k for k in tower(g := realElementary(f, x))
| member?(x, variables(k::F))]$List(K))$List(K) =>
@@ -882,6 +886,7 @@ ComplexTrigonometricManipulations(R, F): Exports == Implementation where
g
complexElementary(f, x) ==
+ g : F
any?(has?(operator #1, "rtrig"),
[k for k in tower(g := realElementary(f, x))
| member?(x, variables(k::F))]$List(K))$List(K) =>
@@ -889,6 +894,7 @@ ComplexTrigonometricManipulations(R, F): Exports == Implementation where
g
complexNormalize(f, x) ==
+ g : F
any?(has?(operator #1, "rtrig"),
[k for k in tower(g := realElementary(f, x))
| member?(x, variables(k::F))]$List(K))$List(K) =>