Hi,
Can someone explain me why
myfunc1: Z -> Boolean
++ myfunc1(z) computes a wonderful thing.
++ SIDE = 'L' SIDE = 'R'
++ TRANS = 'N': Q * C C * Q
++ TRANS = 'T': Q**T * C C * Q**T
is correctly displayed in hyperdoc but not
myfunc2: Z -> Boolean
++ myfunc2(z) computes another wonderful thing.
++ A * P = Q * [ R11 R12 ]
++ [ 0 R22 ]
?
So, how can I write the myfunc2 description such that it is correctly
displayed in an editor (and in verbatim environment) and in hyperdoc ?
Is there some special commands ?
Cheers,
Greg
PS : Attached is a test package if you want to experiment with this.
Description is available via "Browse"->`type the name of the operation`
->"Operations"
)abbrev package MYTEST MyTest
MyTest() : Exports == Implementation where
Z ==> Integer
Exports == with
myfunc1: Z -> Boolean
++ myfunc1(z) computes a wonderful thing.
++ SIDE = 'L' SIDE = 'R'
++ TRANS = 'N': Q * C C * Q
++ TRANS = 'T': Q**T * C C * Q**T
myfunc2: Z -> Boolean
++ myfunc2(z) computes another wonderful thing.
++ A * P = Q * [ R11 R12 ]
++ [ 0 R22 ]
Implementation == add
myfunc1(n)== one? n
myfunc2(n)== zero? n
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
