diff options
Diffstat (limited to 'src/algebra/intaux.spad.pamphlet')
| -rw-r--r-- | src/algebra/intaux.spad.pamphlet | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/algebra/intaux.spad.pamphlet b/src/algebra/intaux.spad.pamphlet index d2452f79..d7b72256 100644 --- a/src/algebra/intaux.spad.pamphlet +++ b/src/algebra/intaux.spad.pamphlet @@ -99,13 +99,12 @@ IntegrationResult(F:Field): Exports == Implementation where -- deg 1 minimal poly doesn't get sigma lastc := - coefficient(rec.coeff, 0) / coefficient(rec.coeff, 1) lg := (rec.logand) lastc - logandp := prefix("log"::Symbol::O, [lg::O]) + logandp := prefix('log::O, [lg::O]) (cc := Q2F(rec.scalar) * lastc) = 1 => logandp cc = -1 => - logandp cc::O * logandp coeffp:O := (outputForm(rec.coeff, alpha) = 0::Z::O)@O - logandp := - alpha * prefix("log"::Symbol::O, [outputForm(rec.logand, alpha)]) + logandp := alpha * prefix('log::O, [outputForm(rec.logand, alpha)]) if (cc := Q2F(rec.scalar)) ~= 1 then logandp := cc::O * logandp sum(logandp, coeffp) @@ -179,7 +178,7 @@ IntegrationResult(F:Field): Exports == Implementation where reduce("+", l) NE2O ne == - int((ne.integrand)::O * hconcat ["d"::Symbol::O, (ne.intvar)::O]) + int((ne.integrand)::O * hconcat ['d::O, (ne.intvar)::O]) @ \section{package IR2 IntegrationResultFunctions2} @@ -252,6 +251,8 @@ IntegrationResultFunctions2(E, F): Exports == Implementation where <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. +--Copyright (C) 2007-2009, Gabriel Dos Reis. +--All rights reserved. -- --Redistribution and use in source and binary forms, with or without --modification, are permitted provided that the following conditions are |