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 - p_IsUnit and p_Invers
Author Message
  Post subject:  Re: p_IsUnit and p_Invers  Reply with quote
p_Invers: is only a helper routine for the 3-argument forms of jet
(see https://www.singular.uni-kl.de/Manual/4 ... ng_265.htm).
It should not be used otherwise: is a static routine in newer releases
Furthermore, the coefficients must be from a field.

p_IsUnit: is currently only used to simplify ideals,
and currently defined as: p is a constant polynomial and the constant is a unit.
I will try to extend that.....but it is of low priority.
Post Posted: Thu Mar 09, 2017 5:06 pm
  Post subject:  p_IsUnit and p_Invers  Reply with quote
I am using singular via its integration in Sage. Both p_IsUnit and p_Invers are called by Sage for multivariate polynomials over rings like the integers or the integers mod n. In the case of integers mod n, where n is composite, p_IsUnit does not give the expected result. As a polynomial over the integers mod 4, for example, 1+2*x is a unit (it is in fact self-inverse), but p_Unit reports that it is not. (A polynomial like this is a unit iff the constant term is a unit in the base ring, and all other coefficients are nilpotent.)

p_Invers, the way it is called by Sage, never seems to give the correct result in these cases, and looking at the code gives me some doubt that it is meant to. However, I could not find the documentation describing exactly what it is meant to do.

Are these functions are meant to work in rings that are not integral domains?
Post Posted: Wed Mar 08, 2017 9:13 pm


It is currently Wed Dec 13, 2017 5:29 am
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group