diff options
Diffstat (limited to 'src/algebra/d01weights.spad.pamphlet')
| -rw-r--r-- | src/algebra/d01weights.spad.pamphlet | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/algebra/d01weights.spad.pamphlet b/src/algebra/d01weights.spad.pamphlet index 7f41244f..f400d32d 100644 --- a/src/algebra/d01weights.spad.pamphlet +++ b/src/algebra/d01weights.spad.pamphlet @@ -124,8 +124,7 @@ d01WeightsPackage(): E == I where functionIsQuotient(expr:EDF):Union(EDF,"failed") == (k := mainKernel expr) case KEDF => expr = inv(f := k :: KEDF :: EDF)$EDF => f --- one?(numerator expr) => denominator expr - (numerator expr = 1) => denominator expr + one?(numerator expr) => denominator expr "failed" "failed" @@ -134,8 +133,7 @@ d01WeightsPackage(): E == I where functionIsNthRoot?(f:EDF,e:EDF):Boolean == (m := mainKernel f) case "failed" => false --- (one?(# (kernels f))) - ((# (kernels f)) = 1) + (one?(# (kernels f))) and (name operator m = (nthRoot :: Symbol))@Boolean and (((argument m).1 = e)@Boolean) @@ -200,8 +198,7 @@ d01WeightsPackage(): E == I where exprOfFormCosWXorSinWX(f:EDF,var:Symbol): URBODF == l:LKEDF := kernels(f)$EDF --- one?((# l)$LKEDF)$INT => - # l = 1 => + one?((# l)$LKEDF)$INT => a:LEDF := argument(e:KEDF := first(l)$LKEDF)$KEDF empty?(a) => "failed" m:Union(LEDF,"failed") := isTimes(first(a)$LEDF)$EDF |