/usr/share/axiom-20170501/src/algebra/OMLO.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 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 | )abbrev domain OMLO OppositeMonogenicLinearOperator
++ Author: Stephen M. Watt
++ Date Created: 1986
++ Date Last Updated: May 30, 1991
++ Description:
++ This constructor creates the \spadtype{MonogenicLinearOperator} domain
++ which is ``opposite'' in the ring sense to P.
++ That is, as sets \spad{P = $} but \spad{a * b} in \spad{$} is equal to
++ \spad{b * a} in P.
OppositeMonogenicLinearOperator(P, R) : SIG == CODE where
P : MonogenicLinearOperator(R)
R : Ring
SIG ==> MonogenicLinearOperator(R) with
if P has DifferentialRing then DifferentialRing
op: P -> $
++ op(p) creates a value in $ equal to p in P.
po: $ -> P
++ po(q) creates a value in P equal to q in $.
CODE ==> P add
Rep := P
x, y: $
a: P
op a == a: $
po x == x: P
x*y == (y:P) *$P (x:P)
coerce(x): OutputForm == prefix(op::OutputForm, [coerce(x:P)$P])
|