diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-14 00:07:49 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-14 00:07:49 +0000 |
commit | 1734e62de427defcd090a95bc8b3b879c67d3fbf (patch) | |
tree | 85d39a106d392c37439d64c001377e0b2deaf6ee /src/algebra/asp.spad.pamphlet | |
parent | e3addef7d02f432fad8fc0886880f59c40000a5a (diff) | |
download | open-axiom-1734e62de427defcd090a95bc8b3b879c67d3fbf.tar.gz |
Remove redundant capsule-level declarations
Diffstat (limited to 'src/algebra/asp.spad.pamphlet')
-rw-r--r-- | src/algebra/asp.spad.pamphlet | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/algebra/asp.spad.pamphlet b/src/algebra/asp.spad.pamphlet index 93b26746..d95211a8 100644 --- a/src/algebra/asp.spad.pamphlet +++ b/src/algebra/asp.spad.pamphlet @@ -512,7 +512,6 @@ Asp19(name): Exports == Implementation where s2 : SegmentBinding POLY INT := equation(J@S,seg2) as : FC := assign(FJACC,[I@S::(POLY INT),J@S::(POLY INT)],0.0::EXPR FLOAT) clear : FC := forLoop(s1,forLoop(s2,as)) - j:Integer x:S := XC::S pu:List(S) := [] -- Work out which variables appear in the expressions @@ -685,7 +684,6 @@ Asp20(name): Exports == Implementation where assign(s,j')$FortranCode coerce(u:MAT FEXPR):$ == - j:Integer x:Symbol := X::Symbol n := nrows(u)::PI p:VEC FEXPR := [retract(subscript(x,[j::O])$Symbol)@FEXPR for j in 1..n] @@ -1448,7 +1446,6 @@ Asp31(name): Exports == Implementation where assign(s,j')$FC makeXList(n:Integer):List(Symbol) == - j:Integer y:Symbol := Y::Symbol p:List(Symbol) := [] for j in 1 .. n repeat p:= cons(subscript(y,[j::OutputForm])$Symbol,p) @@ -2090,7 +2087,6 @@ Asp41(nameOne,nameTwo,nameThree): Exports == Implementation where makeCodeOne(jacEps) makeYList(n:Integer):List(Symbol) == - j:Integer y:Symbol := Y::Symbol p:List(Symbol) := [] [subscript(y,[j::OutputForm])$Symbol for j in 1..n] @@ -2306,7 +2302,6 @@ Asp42(nameOne,nameTwo,nameThree): Exports == Implementation where BCEPsym:Symbol:=coerce "BCEP" makeList(n:Integer,s:Symbol):List(Symbol) == - j:Integer p:List(Symbol) := [] for j in 1 .. n repeat p:= cons(subscript(s,[j::OutputForm])$Symbol,p) reverse(p) |