Re: A problem with the "resultant" function

Gabriel Pires <[email protected]> Sun, 24 Jun 2012 12:43:28 -0300
Newsgroups gmane.comp.mathematics.axiom.user
Message-ID <CALnKcwvdRVXKTo-3fLHMSbXWhv8v4dT81+iFt+u0GjHC5=GGaQ@mail.gmail.com>
--===============1591412858543131013==
Content-Type: multipart/alternative; boundary=20cf303347c55075e904c339bb1e

--20cf303347c55075e904c339bb1e
Content-Type: text/plain; charset=ISO-8859-1

Hello Ralf,

thank you for your answer, it seems to work now!

But what I was trying to achieve, and I'm sorry for not making myself
clear, was to find 2 polynomials such that the resultant between them was a
prime number.

It makes a lot of sense to need a Symbol to evaluate the resultant, but I
didn't quite thought of it because sometimes, the input that I send does
work. It was quite confusing for me.

Anyway, thanks again!

Best regards,

On Sun, Jun 24, 2012 at 4:52 AM, Ralf Hemmecke <[email protected]> wrote:

> Hi Gabriel,
>
> Since you haven't been posing any question, but rather just a statement
> about your problem, it's hard to answer.
>
> I don't quite get the goal of your program. The most important question
> for me is: What do you want to achieve? Do you want to compute a prime
> number or do you want to learn about how to write a program?
>
> Ralf
>
> PS: The error says that Polynomial Integer doesn't implement a function
> resultant: (%, %) -> %. And if you look more closely at the output of
>
> )show Polynomial
>
> you see that the error message is right. It gives:
>
>  resultant : (%,%,Symbol) -> % if R has COMRING
>
> Polynomial(Integer) is the ring of polynomials in infinitely many
> variables. Either you have to provide a variable as the third argument in
> your program or you try using UnivariatePolynomial(Integer) instead.
>

--20cf303347c55075e904c339bb1e
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Hello Ralf,<div><br></div><div>thank you for your answer, it seems to work =
now!</div><div><br></div><div>But what I was trying to achieve, and I&#39;m=
 sorry for not making myself clear, was to find 2 polynomials such that the=
 resultant between them was a prime number.</div>

<div><br></div><div>It makes a lot of sense to need a Symbol to evaluate th=
e resultant, but I didn&#39;t quite thought of it because sometimes, the in=
put that I send does work. It was quite confusing for me.</div><div><br>

</div><div>Anyway, thanks again!</div><div><br></div><div>Best regards,<br>=
<br><div class=3D"gmail_quote">On Sun, Jun 24, 2012 at 4:52 AM, Ralf Hemmec=
ke <span dir=3D"ltr">&lt;<a href=3D"mailto:[email protected]" target=3D"_bla=
nk">[email protected]</a>&gt;</span> wrote:<br>

<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex">Hi Gabriel,<br>
<br>
Since you haven&#39;t been posing any question, but rather just a statement=
 about your problem, it&#39;s hard to answer.<br>
<br>
I don&#39;t quite get the goal of your program. The most important question=
 for me is: What do you want to achieve? Do you want to compute a prime num=
ber or do you want to learn about how to write a program?<br>
<br>
Ralf<br>
<br>
PS: The error says that Polynomial Integer doesn&#39;t implement a function=
<br>
resultant: (%, %) -&gt; %. And if you look more closely at the output of<br=
>
<br>
)show Polynomial<br>
<br>
you see that the error message is right. It gives:<br>
<br>
 =A0resultant : (%,%,Symbol) -&gt; % if R has COMRING<br>
<br>
Polynomial(Integer) is the ring of polynomials in infinitely many variables=
. Either you have to provide a variable as the third argument in your progr=
am or you try using UnivariatePolynomial(Integer) instead.<br>
</blockquote></div><br></div>

--20cf303347c55075e904c339bb1e--


--===============1591412858543131013==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Axiom-mail mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/axiom-mail

--===============1591412858543131013==--