/usr/share/axiom-20170501/src/algebra/COMPLPAT.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | )abbrev package COMPLPAT ComplexPattern
++ Author: Barry Trager
++ Date Created: 30 Nov 1995
++ Description:
++ This package supports converting complex expressions to patterns
ComplexPattern(R, S, CS) : SIG == CODE where
R : SetCategory
S : Join(ConvertibleTo Pattern R, CommutativeRing)
CS : ComplexCategory S
SIG ==> with
convert : CS -> Pattern R
++ convert(cs) converts the complex expression cs to a pattern
CODE ==> add
ipat : Pattern R := patternVariable("%i"::Symbol, true, false, false)
convert(cs) ==
zero? imag cs => convert real cs
convert real cs + ipat * convert imag cs
|