diff options
| author | alfredoport <doyenatccny@gmail.com> | 2008-08-31 15:40:18 +0000 |
|---|---|---|
| committer | alfredoport <doyenatccny@gmail.com> | 2008-08-31 15:40:18 +0000 |
| commit | 8f29b67f349d337019093f0eeba09cc3bf09bfed (patch) | |
| tree | 6c53425e00ecf1f943acd3ec2062acf8c9b18619 /src/algebra | |
| parent | e8df02fd0970cad96e174ffb5b7707081266f371 (diff) | |
| download | open-axiom-8f29b67f349d337019093f0eeba09cc3bf09bfed.tar.gz | |
Fix AW278.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/manip.spad.pamphlet | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/algebra/manip.spad.pamphlet b/src/algebra/manip.spad.pamphlet index a9f207d7..83657f90 100644 --- a/src/algebra/manip.spad.pamphlet +++ b/src/algebra/manip.spad.pamphlet @@ -624,10 +624,13 @@ TranscendentalManipulations(R, F): Exports == Implementation where -- like to combine it with a log term. terms :List F := [simplifyLog(term) for term in termList::List(F)] exprs :List F := [] - for i in 1..#terms repeat - if retractIfCan(terms.i)@Union(FPR,"failed") case FPR then - exprs := cons(terms.i,exprs) - terms := delete!(terms,i) + nterms :List F := [] + for term in terms repeat + if retractIfCan(term)@Union(FPR,"failed") case FPR then + exprs := cons(term, exprs) + else + nterms := cons(term, nterms) + terms := nterms if not empty? exprs then foundLog := false i : NonNegativeInteger := 0 |