On 27 March 2011 16:52, Martin Albrecht wrote:
> AFAIK, there's no nice, Python-ic way to do this in Sage yet, since the
> relevant functionality of Singular has not been properly wrapped yet.
>
> See
>
> http://www.singular.uni-kl.de/Manual/3-1-2/sing_131.htm#SEC171
>
> for Singular's module ca
Sorry for replying to myself what i am asking is there capacity in
sage to replicate the magma code:
>R := PolynomialRing(RationalField(), 3);
>M := EModule(R, 2);
>S := sub;
>Groebner(S);
>a := M ! [y+1, z];
>a in S;
false
>b := M ! [y+1, z+x];
>b in S;
true
On 27
Hi,
If I want to see if there exists polynomials a_1,...,a_n such that
f = a_1*f_1 + ... + a_n*f_n
where f,f_1,...,f_n are some polynomials I can just check if a is in
the ideal generated by f_1,...,f_n.
But suppose I want to see if there exists a_1,...a_n such that
f = a_1*f_1 + ... + a_n*f_n
> What kind of generators of ideals are you dealing with?
For reference all the input generators are in QQ.
Robert
--
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to
sage-support+unsubscr...@googlegroups.com
For more options, vis
> No, it is not an exact computation over the complex, they are gauss
> rationals a+b*I where a and b are rationals. As far as I know there is
> no exact complex field implementation that is good for working with
> ideals.
Ah yes that would make a lot of sense.
I will go back to my problem and se
Thank you very much for your advice. I was trying to work out if the
problem lay with me sage or documentation.
> Do not use ideals over CC. CC is an inexact ring, so most operations
> will fail. Work instead over the rationals.
>
> R. = PolynomialRing(QQ,2)
>
> or if you need complex numbers, you
oing something wrong? Would anyone suggest a better way of doing
this computation?
Thank you for any comments.
Robert Goss
--
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to
sage-support+unsubscr...@googlegroups.com
For more options,
Dear all,
I am trying to compute the fundamental group of some simplicial
complexes in sage. Is there a way of creating a group with a given set
of generators and relations?
Thank you,
Robert Goss.
University of Warwick
--
To post to this group, send email to sage-support@googlegroups.com
To
