Dear Mr. Jaradat,
first of all, thank you for your interest in Singular. Indeed, your request is related to two of Singular core routines:
Jaradat wrote:
1. i am looking for a command that can find a relation between a finite set of polynomials.
You are probably looking for the
syz command, see
http://www.singular.uni-kl.de/Manual/latest/sing_298.htm#SEC339in the manual.
Jaradat wrote:
2. is there a command that determine weather a polynomial in some finitely generated ideal or not. i saw a function for radical ideal.
Please have a look at the normal form command
NF, at
http://www.singular.uni-kl.de/Manual/latest/sing_275.htm#SEC316. The basic usage is as follows:
Code:
NF(f,std(i))
.
Best regard,
Alexander Dreyer