Changes between Version 8 and Version 9 of Ticket #21413, comment 56
 Timestamp:
 Sep 15, 2019, 7:46:51 AM (3 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #21413, comment 56
v8 v9 7 7 We 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.) 8 8 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 {{{ 10 sage: A.<a> = QQ.extension(x^2  2) 11 sage: B.<b> = QQ.extension(x^4  2) 12 sage: C.<c> = QQ.extension(x^12  2) 15 13 16 # We now create extensions 17 sage: i = Hom(QQ,A)(0) 18 sage: AA.<a> = RingExtension(i, gen=a) 14 # We create extensions 15 sage: AA.<a> = RingExtension(QQ) 19 16 sage: f = Hom(AA,B)(A.hom([b^2])) 20 sage: BB.<b> = RingExtension(f , gen=b)17 sage: BB.<b> = RingExtension(f) 21 18 sage: g = Hom(BB,C)(B.hom([c^3])) 22 sage: CC.<c> = RingExtension(g , gen=c)19 sage: CC.<c> = RingExtension(g) 23 20 }}} 24 21