diff options
Diffstat (limited to 'src/algebra/gaussian.spad.pamphlet')
| -rw-r--r-- | src/algebra/gaussian.spad.pamphlet | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/algebra/gaussian.spad.pamphlet b/src/algebra/gaussian.spad.pamphlet index a7d5c1dd..fba0d687 100644 --- a/src/algebra/gaussian.spad.pamphlet +++ b/src/algebra/gaussian.spad.pamphlet @@ -167,7 +167,7 @@ ComplexCategory(R:CommutativeRing): Category == re := (r := real x)::OutputForm ie := (i := imag x)::OutputForm zero? i => re - outi := "%i"::Symbol::OutputForm + outi := '%i::OutputForm ip := -- one? i => outi (i = 1) => outi @@ -210,7 +210,7 @@ ComplexCategory(R:CommutativeRing): Category == if R has ConvertibleTo InputForm then convert(x:%):InputForm == - convert([convert("complex"::Symbol), convert real x, + convert([convert('complex), convert real x, convert imag x]$List(InputForm))@InputForm if R has ConvertibleTo Pattern Integer then @@ -476,7 +476,7 @@ ComplexPattern(R, S, CS) : C == T where T == add - ipat : Pattern R := patternVariable("%i"::Symbol, true, false, false) + ipat : Pattern R := patternVariable('%i, true, false, false) convert(cs) == zero? imag cs => convert real cs @@ -516,7 +516,7 @@ ComplexPatternMatch(R, S, CS) : C == T where import PatternMatchResultFunctions2(R, PS, CS) import PatternMatchResultFunctions2(R, CS, PS) - ivar : PS := "%i"::Symbol::PS + ivar : PS := '%i::PS makeComplex(p:PS):CS == up := univariate p @@ -788,6 +788,8 @@ ComplexIntegerSolveLinearPolynomialEquation(R,CR): C == T <<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 |