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 - get number of ring paramter
Author Message
  Post subject:  Re: get number of ring paramter  Reply with quote
Doh!

It seems I have to go back to school and learn to ask precise questions.



Second trial:
is there a function in Singular interpreter language which takes as an argument a ring parameter variable
and returns its corresponding index?

If not, I would like to open a feature request for that.
Post Posted: Sat Apr 19, 2014 3:28 pm
  Post subject:  Re: get number of ring paramter  Reply with quote
Code:
> ring rng =(0,a,b),(x,y,z),dp; def R = ring(ringlist(basering)[1]); setring R; R;
//   characteristic : 0
//   number of vars : 2
//        block   1 : ordering lp
//                  : names    a b
//        block   2 : ordering C
> rvar(a);
1
> rvar(b);
2
Post Posted: Wed Apr 16, 2014 6:00 am
  Post subject:  get number of ring paramter  Reply with quote
Hello,

for a ring variable it is possible to get its number using rvar:
Code:
ring rng =(0,a,b),(x,y,z),dp;
rvar(x);
// 1
rvar(y);
// 2


Is the same possible for parameters (here 'a','b') ?
Post Posted: Mon Apr 14, 2014 12:07 pm


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