On 03/01/2014 10:15 AM, jiazhaoconga wrote:
> This domain D is described as following:
> a+b*sqrt(-5) , for all a,b in Integer
Try the following:
(1) -> Z ==> Integer
Type:
Void
(2) -> P ==> UnivariatePolynomial('x, Z)
Type:
Void
(3) -> p:P := x^2+5
2
(3) x + 5
Type:
UnivariatePolynomial(x,Integer)
(4) -> S ==> SimpleAlgebraicExtension(Z, P, p)
Type:
Void
(5) -> s:S := generator()$S
(5) x
Type:
SimpleAlgebraicExtension(Integer,UnivariatePolynomial(x,Integer),x^2+5)
(6) -> s^2
(6) - 5
Type:
SimpleAlgebraicExtension(Integer,UnivariatePolynomial(x,Integer),x^2+5)
(7) -> (1+s)*(1-s)
(7) 6
Type:
SimpleAlgebraicExtension(Integer,UnivariatePolynomial(x,Integer),x^2+5)
Ralf
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/groups/opt_out.
