diff options
Diffstat (limited to 'src/algebra/algfunc.spad.pamphlet')
| -rw-r--r-- | src/algebra/algfunc.spad.pamphlet | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/algebra/algfunc.spad.pamphlet b/src/algebra/algfunc.spad.pamphlet index 7925927f..fbbe96dc 100644 --- a/src/algebra/algfunc.spad.pamphlet +++ b/src/algebra/algfunc.spad.pamphlet @@ -348,8 +348,8 @@ AlgebraicFunction(R, F): Exports == Implementation where dvalg: (List F, SE) -> F dalg : List F -> OutputForm - opalg := operator("rootOf"::Symbol)$CommonOperators - oproot := operator("nthRoot"::Symbol)$CommonOperators + opalg := operator('rootOf)$CommonOperators + oproot := operator('nthRoot)$CommonOperators belong? op == has?(op, ALGOP) dalg l == second(l)::OutputForm @@ -373,8 +373,8 @@ AlgebraicFunction(R, F): Exports == Implementation where inrootof(numer f, x) operator op == - is?(op, "rootOf"::Symbol) => opalg - is?(op, "nthRoot"::Symbol) => oproot + is?(op,'rootOf) => opalg + is?(op,'nthRoot) => oproot error "Unknown operator" if R has AlgebraicallyClosedField then @@ -416,7 +416,7 @@ AlgebraicFunction(R, F): Exports == Implementation where if R has RetractableTo Integer then import PolynomialRoots(IndexedExponents K, K, R, P, F) - dumvar := "%%var"::Symbol::F + dumvar := '%%var::F lzero : List F -> F dvroot : List F -> F @@ -531,6 +531,8 @@ AlgebraicFunction(R, 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 |