Changes between Version 8 and Version 9 of Ticket #21413, comment 56


Ignore:
Timestamp:
09/15/19 07:46:51 (2 years ago)
Author:
caruso
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21413, comment 56

    v8 v9  
    77We first create several a bunch of number fields and define a tower of extension `QQ -> AA -> BB -> CC`. (Currently, the tower is not that easy to define because we still miss a good `extension` method; we will implement it soon, hopefully.)
    88
    9 {{{
    10 # The following line is needed because QQ does not implement the method vector_space
    11 sage: QQ.<void> = Rationals().extension(x) 
    12 sage: A.<a> = Rationals().extension(x^2 - 2)
    13 sage: B.<b> = Rationals().extension(x^4 - 2)
    14 sage: C.<c> = Rationals().extension(x^12 - 2)
     9{{{
     10sage: A.<a> = QQ.extension(x^2 - 2)
     11sage: B.<b> = QQ.extension(x^4 - 2)
     12sage: C.<c> = QQ.extension(x^12 - 2)
    1513
    16 # We now create extensions
    17 sage: i = Hom(QQ,A)(0)
    18 sage: AA.<a> = RingExtension(i, gen=a)
     14# We create extensions
     15sage: AA.<a> = RingExtension(QQ)
    1916sage: f = Hom(AA,B)(A.hom([b^2]))
    20 sage: BB.<b> = RingExtension(f, gen=b)
     17sage: BB.<b> = RingExtension(f)
    2118sage: g = Hom(BB,C)(B.hom([c^3]))
    22 sage: CC.<c> = RingExtension(g, gen=c)
     19sage: CC.<c> = RingExtension(g)
    2320}}}
    2421