Artifact 90873ad745c4de2a88ebebf2a1c96203bdede8c8f3e0cdd79c4a226e23a08d9c:

• Executable file r37/lisp/csl/html/r37_0624.html — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 965) [annotate] [blame] [check-ins using] [more...]

<A NAME=Smithex>

<TITLE>Smithex</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>



<B>SMITHEX</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>operator</B><P>
<P>
 
The operator <em>smithex</em> computes the Smith normal form S of a 

<A HREF=r37_0345.html>matrix</A> A (say). It returns {S,P,P^-1} where P*S*P^-1 =
 A. 
<P>
<P>
 <P> <H3> 
syntax: </H3>
<em>smithex</em>(&lt;matrix&gt;,&lt;variable&gt;) 
<P>
<P>
&lt;matrix&gt; :- a rectangular 
<A HREF=r37_0345.html>matrix</A> of univariate polynomials in 
 &lt;variable&gt;. 
&lt;variable&gt; :- the variable. 
<P>
<P>
<P>
 <P> <H3> 
examples: </H3>
<P><PRE><TT>
 a := mat((x,x+1),(0,3*x^2)); 

        [x  x + 1]
        [        ]
   a := [      2 ]
        [0  3*x  ]



 smithex(a,x); 

     [1  0 ]    [1    0]    [x   x + 1]
  {  [     ],   [      ],   [         ]  }
     [    3]    [   2  ]    [         ]
     [0  x ]    [3*x  1]    [-3    -3 ]

</TT></PRE><P>