/usr/share/axiom-20140801/input/aseg6.as is in axiom-test 20140801-6.
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 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 | #include "axiom"
C1: Category == with {
foo: % -> %;
}
C2(X: BasicType): Category == with {
foo: % -> X;
oof: X -> %;
foof: X -> X;
default {
foof(x: X): X == foo(oof x);
}
}
C3: Category == Join(Ring, C1) with {
foo2: % -> %
}
C4(X: Ring): Category == Join(Ring, C2 X) with {
foo2: % -> %;
}
D1: C1 with {
new: Integer -> %;
} == add {
Rep ==> Integer;
import from Rep;
foo(x: %): % == x;
new(n: Integer): % == per n;
}
D2(X: BasicType): C1 with {
new: X -> %;
} == add {
Rep ==> X;
foo(x: %): % == x;
new(n: X): % == per n;
}
D3: C2(Integer) with == add {
Rep ==> Integer;
X ==> Integer;
foo(x: %): X == rep x;
oof(x: X): % == per(x+1);
}
D4(X: BasicType): C2(X) with == add {
Rep ==> X;
foo(x: %): X == rep x;
oof(x: X): % == per x;
}
D5(X: Ring): Ring == X add {
Rep ==> X;
import from Rep;
(a: %) + (b: %): % == per(rep(a) + rep(b) + 1@Rep);
}
|