Back to Forum | View unanswered posts | View active topics





Post a reply
Username:
Note:If not registered, provide any username. For more comfort, register here.
Subject:
Message body:
Enter your message here, it may contain no more than 60000 characters. 

Smilies
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
Font size:
Font colour
Options:
BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON
Disable BBCode
Disable smilies
Do not automatically parse URLs
Confirmation of post
To prevent automated posts the board requires you to enter a confirmation code. The code is displayed in the image you should see below. If you are visually impaired or cannot otherwise read this code please contact the %sBoard Administrator%s.
Confirmation code:
Enter the code exactly as it appears. All letters are case insensitive, there is no zero.
   

Topic review - Smith normal form of Laurent Polynomial matrices
Author Message
levandov
  Post subject:  Re: Smith normal form of Laurent Polynomial matrices  Reply with quote
Hi Yoann,

it is in principle possible but there's no ready-to-use solution (as far as
I can see). The technology is described in two papers:

Viktor Levandovskyy and Kristina Schindelar : Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases . Journal of Symbolic Computation 47,10 (2012), 1214-1232
http://dx.doi.org/10.1016/j.jsc.2011.12.042

Viktor Levandovskyy and Kristina Schindelar : Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases . Journal of Symbolic Computation 46,5 (2011), 595-608
http://dx.doi.org/10.1016/j.jsc.2010.10.009

and implemented in jacobson_lib (see D.11 System and Control theory
in the Manual). Actually the procedure smith from jacobson_lib
has a built-in restriction that the basering should contain only one
variable. However, this is not crucial for the Laurent situation, since
the latter is a PID. One has to look at the code; it makes an interesting
research+implementation project (do you wish to embark
on that?). Feel free to contact me.
Cheers,
Viktor Levandovskyy
Post Posted: Thu Oct 01, 2015 4:17 pm
Yoann
  Post subject:  Smith normal form of Laurent Polynomial matrices  Reply with quote
Hi,

I need help to diagonalize a matrix with entries Laurent polynomial. Hence, I work with matrices in the PID Q[t,t^{-1}]. Does anybody know how can I do?
Because I found documentation about the diagonalization of matrices but not on the Laurent polynomial ring, which I don't know how to declare on Singular!

Thank you very much for your help,

Yoann
Post Posted: Wed Jun 03, 2015 1:35 am


It is currently Fri May 13, 2022 10:58 am
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group