On Sun, Nov 19, 2023 at 10:50:17PM +0800, oldk1331 wrote:
> Then is there a way to specify the algebraic number
> which square is 2 and is near +1.41421?

(1) -> rC := RealClosure(Fraction(Integer))

   (1)  RealClosure(Fraction(Integer))
                                                                   Type: Type
(2) -> s2 := sqrt(2)$rC

         +-+
   (2)  \|2
                                         Type: RealClosure(Fraction(Integer))
(3) -> approximate(s2, 1/10000)

        46341
   (3)  -----
        32768
                                                      Type: Fraction(Integer)
(4) -> 2 - (%)^2

             4633
   (4)  - ----------
          1073741824
                                                      Type: Fraction(Integer)
(5) -> sqrt(-s2)$rC
 
   >> Error detected within library code:
   no roots

ATM roots in Complex(rC) remain unimplemented.

-- 
                              Waldek Hebisch

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/ZVol91cfpkR1hpNu%40fricas.org.

Reply via email to