# Singular

 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
 Font size: Tiny Small Normal Large Huge Font colour [quote="jvn"]Hi all, I'm trying to do some invariant theory computations with Singular, using the rinvar.lib by Thomas Bayer. I ran into some problems (I'm completely new to Singular), so I decided to try some example code that I found on his old website (link below). However, the following example from his invariant-theory examples script produces an error: [code] ////////////////////////////////////////////////////////////////// // infinite, reductive (sl2 on V+V+Sym^2V) (ub = 3) ring S3 = 0,(s(1..4), t(1..7)), lp; ideal G = s(1)*s(4) - s(2)*s(3) - 1; ideal action = s(1)*t(1) + s(2)*t(2), s(3)*t(1) + s(4)*t(2), s(1)*t(3) + s(2)*t(4), s(3)*t(3) + s(4)*t(4),s(1)^2*t(5) + 2*s(1)*s(2)* t(6) + s(2)^2*t(7), s(1)*s(3)*t(5) + (s(1)*s(4) + s(2)*s(3))*t(6) + s(2)*s(4)*t(7), s(3)^2*t(5) + 2*s(3)*s(4)*t(6) + s(4)^2 * t(7); //int time = timer; ideal inv = Invariants(G, action, 3); time = timer - time; time; // [/code] Actually, that code doesn't produce an error, but when I replace the commented call to "Invariants" with a call to InvariantRing(std(G), action), as in the examples for the current rinvar.lib, I get the error: [quote] def R = InvariantRing(std(G), action); ? ideal not zerodimensional ? leaving zeroset.lib::zeroSet ? leaving rinvar.lib::ReynoldsOperator ? leaving rinvar.lib::InvariantRing [/quote] Maybe his Invariants function is not the same as the InvariantRing function that is currently in Singular? I tried running his old (2002) script (link below), but could not get it to work. Any ideas what the problem is and how to fix it? Thanks! I'm not allowed to post links, so take out the spaces in the following: old website of Thomas Bayer: www14 . in . tum . de/personen/bayert/software.html#Invariants Old version of rinvar.lib: wwwmayr . informatik . tu-muenchen . de/personen/bayert/invariants[/quote]
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 - Old rinvar examples don't work anymore
Author Message
 jvn
 Post subject: Old rinvar examples don't work anymore
 Hi all,I'm trying to do some invariant theory computations with Singular, using the rinvar.lib by Thomas Bayer. I ran into some problems (I'm completely new to Singular), so I decided to try some example code that I found on his old website (link below). However, the following example from his invariant-theory examples script produces an error:Code://////////////////////////////////////////////////////////////////// infinite, reductive (sl2 on V+V+Sym^2V) (ub = 3)ring S3 = 0,(s(1..4), t(1..7)), lp;ideal G = s(1)*s(4) - s(2)*s(3) - 1;ideal action = s(1)*t(1) + s(2)*t(2), s(3)*t(1) + s(4)*t(2), s(1)*t(3) + s(2)*t(4), s(3)*t(3) + s(4)*t(4),s(1)^2*t(5) + 2*s(1)*s(2)* t(6) + s(2)^2*t(7), s(1)*s(3)*t(5) + (s(1)*s(4) + s(2)*s(3))*t(6) + s(2)*s(4)*t(7), s(3)^2*t(5) + 2*s(3)*s(4)*t(6) + s(4)^2 * t(7);//int time = timer; ideal inv = Invariants(G, action, 3); time = timer - time; time; // Actually, that code doesn't produce an error, but when I replace the commented call to "Invariants" with a call to InvariantRing(std(G), action), as in the examples for the current rinvar.lib, I get the error:Quote:def R = InvariantRing(std(G), action); ? ideal not zerodimensional ? leaving zeroset.lib::zeroSet ? leaving rinvar.lib::ReynoldsOperator ? leaving rinvar.lib::InvariantRingMaybe his Invariants function is not the same as the InvariantRing function that is currently in Singular? I tried running his old (2002) script (link below), but could not get it to work. Any ideas what the problem is and how to fix it?Thanks!I'm not allowed to post links, so take out the spaces in the following:old website of Thomas Bayer: www14 . in . tum . de/personen/bayert/software.html#InvariantsOld version of rinvar.lib: wwwmayr . informatik . tu-muenchen . de/personen/bayert/invariants Hi all,I'm trying to do some invariant theory computations with Singular, using the rinvar.lib by Thomas Bayer. I ran into some problems (I'm completely new to Singular), so I decided to try some example code that I found on his old website (link below). However, the following example from his invariant-theory examples script produces an error:[code]//////////////////////////////////////////////////////////////////// infinite, reductive (sl2 on V+V+Sym^2V) (ub = 3)ring S3 = 0,(s(1..4), t(1..7)), lp;ideal G = s(1)*s(4) - s(2)*s(3) - 1;ideal action = s(1)*t(1) + s(2)*t(2), s(3)*t(1) + s(4)*t(2), s(1)*t(3) + s(2)*t(4), s(3)*t(3) + s(4)*t(4),s(1)^2*t(5) + 2*s(1)*s(2)* t(6) + s(2)^2*t(7), s(1)*s(3)*t(5) + (s(1)*s(4) + s(2)*s(3))*t(6) + s(2)*s(4)*t(7), s(3)^2*t(5) + 2*s(3)*s(4)*t(6) + s(4)^2 * t(7);//int time = timer; ideal inv = Invariants(G, action, 3); time = timer - time; time; // [/code]Actually, that code doesn't produce an error, but when I replace the commented call to "Invariants" with a call to InvariantRing(std(G), action), as in the examples for the current rinvar.lib, I get the error:[quote]def R = InvariantRing(std(G), action); ? ideal not zerodimensional ? leaving zeroset.lib::zeroSet ? leaving rinvar.lib::ReynoldsOperator ? leaving rinvar.lib::InvariantRing[/quote]Maybe his Invariants function is not the same as the InvariantRing function that is currently in Singular? I tried running his old (2002) script (link below), but could not get it to work. Any ideas what the problem is and how to fix it?Thanks!I'm not allowed to post links, so take out the spaces in the following:old website of Thomas Bayer: www14 . in . tum . de/personen/bayert/software.html#InvariantsOld version of rinvar.lib: wwwmayr . informatik . tu-muenchen . de/personen/bayert/invariants
 Posted: Tue May 13, 2014 9:25 am

 It is currently Sat Dec 15, 2018 8:00 pm