Hi
hope i am sending to the right list : first time :)
i have done this exemple but the last command doesn't work ?
http://axiom-wiki.newsynthesis.org/SandBoxBiQuaternions
and attachment for the problem :)
with siglist which doesn't work
kind regards
<TeXmacs|1.0.6.14>
<style|<tuple|generic|axiom>>
<\body>
<with|prog-language|axiom|prog-session|default|<\session>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
C:=Complex Expression Integer
</input>
<\output>
<with|mode|math|math-display|true|<with|mode|text|font-family|rm|Complex
Expression Integer><leqno>(1)>
<axiomtype|Domain >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
Q:=Quaternion C
</input>
<\output>
<with|mode|math|math-display|true|<with|mode|text|font-family|rm|Quaternion
Complex Expression Integer><leqno>(2)>
<axiomtype|Domain >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
q:Q:=quatern(q0,q1,q2,q3)
</input>
<\output>
<with|mode|math|math-display|true|q0+q1i+q2j+q3k<leqno>(3)>
<axiomtype|Quaternion Complex Expression Integer >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
qlist(l:List C):Q==quatern(l.1,l.2,l.3,l.4)
</input>
<\output>
\ \ \ Function declaration qlist : List Complex Expression Integer
-\<gtr\>\
\ \ \ \ \ \ Quaternion Complex Expression Integer has been added to\
\ \ \ \ \ \ workspace.
<axiomtype|Void >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
listq(x:Q):List C == [real x, imagI x, imagJ x, imagK x]
</input>
<\output>
\ \ \ Function declaration listq : Quaternion Complex Expression
Integer
\ \ \ \ \ \ \ -\<gtr\> List Complex Expression Integer has been added
to workspace.
<axiomtype|Void >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
matrixq(x:Q):Matrix C == matrix _ [[real x + %i*imagI(x), imagJ x +
%i*imagK(x)], _ [-imagJ(x) + %i*imagK(x), real x - %i*imagI(x)]]
</input>
<\output>
\ \ \ Function declaration matrixq : Quaternion Complex Expression
Integer
\ \ \ \ \ \ \ -\<gtr\> Matrix Complex Expression Integer has been added
to\
\ \ \ \ \ \ workspace.
<axiomtype|Void >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
sig0:=quatern(1,0,0,0)::Q
</input>
<\output>
<with|mode|math|math-display|true|1<leqno>(10)>
<axiomtype|Quaternion Complex Expression Integer >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
sig1:=%i*quatern(0,0,0,1)::Q
</input>
<\output>
<with|mode|math|math-display|true|i*k<leqno>(11)>
<axiomtype|Quaternion Complex Expression Integer >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
sig2:=%i*quatern(0,0,1,0)::Q
</input>
<\output>
<with|mode|math|math-display|true|i*j<leqno>(12)>
<axiomtype|Quaternion Complex Expression Integer >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
sig3:=-%i*quatern(0,1,0,0)::Q
</input>
<\output>
<with|mode|math|math-display|true|-i*i<leqno>(13)>
<axiomtype|Quaternion Complex Expression Integer >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
siglist(x:Q):List C == [real x, -imagK(x)*%i,-imagJ(x)*%i,%i*imagI(x)]
</input>
<\output>
\ \ \ Function declaration siglist : Quaternion Complex Expression
Integer
\ \ \ \ \ \ \ -\<gtr\> List Complex Expression Integer has been added
to workspace.
<axiomtype|Void >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
D(q:Q,x:Symbol,y:Symbol,z:Symbol):Q==sig1*D(q,x)+sig2*D(q,y)+sig3&#
42;D(q,z)
</input>
<\output>
\ \ \ Function declaration D : (Quaternion Complex Expression Integer,
\ \ \ \ \ \ Symbol,Symbol,Symbol) -\<gtr\> Quaternion Complex
Expression Integer\
\ \ \ \ \ \ has been added to workspace.
<with|mode|math|math-display|true|0<leqno>(15)>
<axiomtype|Quaternion Complex Expression Integer >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
Ft:=operator 'Ft; Fx:=operator 'Fx; Fy:=operator 'Fy; Fz:=operator 'Fz;
</input>
<\output>
<axiomtype|BasicOperator >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
F:Q:=Ft(x,y,z)*sig0+Fx(x,y,z)*sig1+Fy(x,y,z)*sig2+Fz(x,y,z)*sig3
</input>
<\output>
<with|mode|math|math-display|true|F*t<left|(>x,<space|0.5spc>y,<space|0.5spc>z<right|)>-F*z<left|(>x,<space|0.5spc>y,<space|0.5spc>z<right|)>i*i+F*y<left|(>x,<space|0.5spc>y,<space|0.5spc>z<right|)>i*j+F*x<left|(>x,<space|0.5spc>y,<space|0.5spc>z<right|)>i*k<leqno>(17)>
<axiomtype|Quaternion Complex Expression Integer >
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
siglist(D(F,x,y,z))
</input>
<\output>
\ \ \ There are no library operations named # having 2 argument(s)
though\
\ \ \ \ \ \ there are 2 exposed operation(s) and 1 unexposed
operation(s)\
\ \ \ \ \ \ having a different number of arguments. Use HyperDoc
Browse, or\
\ \ \ \ \ \ issue
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ )what
op #
\ \ \ \ \ \ to learn what operations contain " # " in their names, or
issue
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ )display
op #
\ \ \ \ \ \ to learn more about the available operations.
\ \ \ Cannot find a definition or applicable library operation named #\
\ \ \ \ \ \ with argument type(s)\
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Quaternion Complex Expression
Integer
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
PositiveInteger
\ \ \ \ \ \
\ \ \ \ \ \ Perhaps you should use "@" to indicate the required return
type,\
\ \ \ \ \ \ or "$" to specify which version of the function you need.
\ \ \ AXIOM will attempt to step through and interpret the code.
\ \ \ Compiling function D with type (Quaternion Complex Expression\
\ \ \ \ \ \ Integer,Symbol,Symbol,Symbol) -\<gtr\> Quaternion Complex
Expression\
\ \ \ \ \ \ Integer\
\ \ \ There are no library operations named # having 2 argument(s)
though\
\ \ \ \ \ \ there are 2 exposed operation(s) and 1 unexposed
operation(s)\
\ \ \ \ \ \ having a different number of arguments. Use HyperDoc
Browse, or\
\ \ \ \ \ \ issue
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ )what
op #
\ \ \ \ \ \ to learn what operations contain " # " in their names, or
issue
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ )display
op #
\ \ \ \ \ \ to learn more about the available operations.
\
\ \ \ Cannot find a definition or applicable library operation named #\
\ \ \ \ \ \ with argument type(s)\
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Quaternion Complex Expression
Integer
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
PositiveInteger
\ \ \ \ \ \
\ \ \ \ \ \ Perhaps you should use "@" to indicate the required return
type,\
\ \ \ \ \ \ or "$" to specify which version of the function you need.
</output>
<\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
\;
</input>
\;
</session>>
</body>
<\initial>
<\collection>
<associate|language|french>
</collection>
</initial>_______________________________________________
Axiom-mail mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-mail
