一些初等函数：

lilianjie

:=IntegerRing() ;Z;
n := -1666666666234567890;
; p# w& l1 b  j3 S7 S9 N6 B$ \> n;
, L% a/ y: `8 t; M8 ^
> n:Hex;                           转16
9 F5 \: M! o. Y- Y- @; wIntegerToString(n, 2);        转2
IntegerToString(n, 10);       转10
$ L: h& P5 ]; N6 L0 `' x1 n. {IntegerToString(n, 16);        转16
4 c# t! x3 Z) N) j3 ?4 B" z/ XIntegerToString(n, 36);         转36IntegerToString(n) ;
: V: ~0 Y" H6 O/ c6 `* X. ~) W6 gIntegerToString(-0x17213080A7E55CD2);转串Zero(Z);
9 {. V7 f9 w8 C% a& x# nIdentity(Z);                  
' T/ O8 B; B$ l. _, u5 y, ]+ x/ V# jRepresentative(Z);         环代表元
$ x) f! B1 u/ T$ _. _. g" a; B) xEltseq(n);                        取整
Eltseq(-0x17213080A7E55CD2) ;Denominator(n);Denominator(12/13);Denominator(222222/111);

2 i& r) D2 n9 F+ T: Tm := elt< Z |  -0x17213080A7E55CD2>;m;         在虚实2次域中进制砖换不变
$ t' e1 q! h" o5 s: d; ok := Z ! elt< QuadraticField(3) | -1666666666234567890, 0>;
> k;
n eq k;
kk := Z ! elt< QuadraticField(3) | -0x17213080A7E55CD2, 0>;
> kk;
0 v$ r: |  R' m" k7 _8 Pkk eq k;

1 ?- G/ u1 N, M  o3 Ik := Z ! elt< QuadraticField(13) | -1666666666234567890, 0>;
> k;
1 [, H) `* i( @' o: s: ln eq k;
$ G0 N; o" S+ P( o3 s# \1 o9 z3 jkk := Z ! elt< QuadraticField(13) | -0x17213080A7E55CD2, 0>;
# f( B  u) m: }# N: q7 n> kk;
kk eq k;
! J3 S) Y/ M! V! K
Eltseq(kk) ;Eltseq(-1/14);


+ g7 R+ E. U5 R  H8 c% ]

k := Z ! elt< QuadraticField(-3) | -1666666666234567890, 0>;
* A  ^5 O: V0 Q; h$ C* E> k;
! o9 ]5 M& P- W2 |: b6 Ln eq k;
kk := Z ! elt< QuadraticField(-3) | -0x17213080A7E55CD2, 0>;
' f$ v& X% M; j5 J$ O) U# ?> kk;
* m' k0 F) J7 p; p2 okk eq k;
* I4 x2 D7 b0 k6 O8 f
' \  Q" U( }( r- ?k := Z ! elt< QuadraticField(-13) | -1666666666234567890, 0>;
- H: |4 H3 \( M! s  a> k;
, ]5 n  d$ C7 R+ T  @n eq k;
  y4 K* v' A/ z% b9 C' v6 {' Rkk := Z ! elt< QuadraticField(-13) | -0x17213080A7E55CD2, 0>;
> kk;
. L9 P  e' {# T& S; v8 D' ?kk eq k;

: o  C; H5 p, J1 p( J/ PEltseq(kk) ;Eltseq(-1/14);

/ x# i- x8 D- |' v0 U. u* I  }

1 m* a) X, G$ c( ]0 T





/ s; q6 h* v- P+ L4 R! q
' |0 K- [/ s6 f) h2 V; \& g=============
' C8 P0 z4 y7 d+ ^" i
5 V# R& O% D2 d% B# T0 h9 _

: c# e- x+ S, x
Integer Ring
9 R8 M( [4 ~6 {( ?-1666666666234567890
* x! R) i. Q- d( a& S: w. U-0x17213080A7E55CD2
-1011100100001001100001000000010100111111001010101110011010010
+ E  Q$ T5 V: T1 w. L" K1 R! {-1666666666234567890
; I& Z2 }$ i& ^' @-17213080A7E55CD2
9 L$ A, c& j/ Y9 r8 L1 q5 f3 u-CNUO0WGPY9CI
-1666666666234567890
; c# C2 ?0 I' ]. v-1666666666234567890
0
2 N9 M: u: k" c! @6 k( c1
5 m* i# ?# \8 ^3 K4 Q: @& u0
[ -1666666666234567890 ]
/ G0 }9 ^+ y: D8 F+ S6 ^. B4 K[ -1666666666234567890 ]
1
13
1
. S* i2 S( j7 ?' R) L! T7 v  Y0 I
-1666666666234567890
) h" W8 J" L* R7 m7 t  ?true
-1666666666234567890
true
8 c' F5 g+ A# D3 P-1666666666234567890
true
-1666666666234567890
true
[ -1666666666234567890 ]
[ -1/14 ]
1 w( K. H5 j4 c

+ a# d% X6 I( a" J+ E% Y2 ~

, ]6 c& J$ U1 d5 i5 u


" B  n" l' c7 ^9 k-1666666666234567890
-1666666666234567890
, ^* O; R% P, ], z. ^true
* Y* k/ ^7 H* D; g) S-1666666666234567890
. T$ q" G0 Q. {true
-1666666666234567890
true
7 m0 w# [. A2 [. r2 G-1666666666234567890
8 H1 K$ ?* w) r* X, Ttrue
[ -1666666666234567890 ]
[ -1/14 ]
: L$ `7 u* H" q# ~& I' Q
: f, B  f0 p: H2 g

孤寂冷逍遥

lilianjie

ss:=12345678111;ss;
s:=0x12345678111;ss;
1 z4 a* \( |  h4 s! p0 B) X
sss:=Factorization(ss);sss;
+ L$ m* b6 L9 _9 d9 a: s' lsss1:=Factorisation(s);sss1;
FactorizationToInteger(sss);
FactorisationToInteger(sss1) ;
Facint(sss1);因子分解和还原ssss:=Intseq(ss, 2);ssss;
$ M: p! B, D/ H9 l6 cSequenceToInteger(ssss, 2);
9 o  f; u8 W, z* Q! dssss:=Intseq(ss, 17);ssss;
( V% T3 X/ c6 j' y" d, DSequenceToInteger(ssss, 17);
0 a# A4 e) F/ i* n" O: G- n. pssss1:=Intseq(s, 17);ssss1;
SequenceToInteger(ssss1, 17);转成2和17进制
9 _: V/ d, Q+ s* X6 Q) a
12345678111
+ \( W( q$ x+ v: }& A' Z1 Q12345678111
[ <3, 1>, <13, 1>, <31, 1>, <1447, 1>, <7057, 1> ]
6 x1 x5 I0 C6 E% A8 K3 P- I6 g" t  W[ <3, 1>, <83, 1>, <34129, 1>, <147209, 1> ]
( b& G2 D" Y+ y$ Y# L12345678111
1250999894289
- y' Z  k- J* M( _1250999894289
[ 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1,
1, 1, 1, 0, 1, 1, 0, 1 ]
: l9 N1 X3 u& f5 S, j. s12345678111
[ 8, 6, 6, 4, 0, 8, 1, 13, 1 ]
2 {4 G+ i. ~4 l1 f. z12345678111
- s. u5 `' w& \& P9 ~0 G[ 14, 6, 7, 11, 9, 15, 11, 5, 9, 10 ]
' O( T8 F" g5 j1250999894289

lilianjie

( I1 d2 M5 l- T! z" g) Z
Z:=IntegerRing(5) ;Z;           模5等价类环n := 1666666666234567890;
> n;
# Y3 X( H' j: [( w4 a5 ~n1:=Z!1111111111111111111111;n1;
n2:=Z!11333331111111111111111;n2;
: S6 `1 o, u( y9 @9 N

+ [& h& d" E9 [7 R, ?( b0 Y0 G6 s$ ZK:=Z!n1+Z!n2;K;
5 E2 O! H, o# i, e
IsField(Z);      是域吗Characteristic(Z);环特征
  q! l1 h* j+ b& K: OIsFinite(Z);有限环吗
IsCommutative(Z);可换吗
$ V5 A4 c, g% U6 T( w+ dIsOrdered(Z);有序吗-------应有不过这函数没有这功能IsEuclideanDomain(Z);欧整环吗------欧环还有非整的。。。。
" x; l8 L8 |1 h1 cIsPID(Z) ;主理想整环吗

( K9 [$ h( X% |! c8 JIsUFD(Z) ;唯一分解吗
IsDivisionRing(Z) ;除环吗
IsEuclideanRing(Z) ;欧环吗
1 S( N( j/ U. N; }8 S8 D) E- pIsPrincipalIdealRing(Z) ;主理想整环吗
# I  W% q& Z5 iIsDomain(Z) ;整环吗FieldOfFractions(Z);分式域
8 [3 s) n7 F: i$ Y1 r8 OUnitGroup(Z);单位群
MultiplicativeGroup(Z);乘群
Category(Z) ;范畴Parent(Z) ;父环
: U3 A( u# }: ]9 i" I5 N4 X; kPrimeRing(Z);素环单环和本原环不同Center(Z) ;中心
0 a' R5 Q/ t. N& [8 z- lAdditiveGroup(Z) ;加群-----就第行一特点ClassGroup(Z) ;类群----------只有Z才有------难懂理想类群更难懂

3 a$ M! v' y! v' Q( _: n! iZZ:=IntegerRing() ;ZZ;
; ]- S: Y& S8 @$ M. [& eClassGroup(ZZ) ;
6 s% B1 i9 ?9 N  C7 g( v! H# a
8 e! G8 A% N* |; ~1 y===========
' ^1 `4 m1 x. D3 E2 X5 U, S2 D
+ d. f6 c' U; M2 cResidue class ring of integers modulo 5
& a1 m: `& [; J% n1666666666234567890
; k5 G! R( L0 n8 i1
2 M% Q% ^- }9 J9 b; k& t3 E! i1
9 O) X2 o( E; Q+ p2 A0 d2
true
5
: s; l1 o9 e1 f9 Etrue 5
  I9 J6 V! |; c9 w+ ~. Atrue
0 U" c8 M" A, e  pfalse
$ l( p! ]* v, k/ }true
true
' j! ?' z' q( x. Y: vtrue
7 ?( j, V" H1 u; H1 d: w  Q1 Etrue
0 A4 a- \7 a. `$ Q* atrue
6 {- {/ [2 W' E0 Ptrue
2 e* T, l5 b/ @5 G; [7 E! Btrue
Residue class ring of integers modulo 5
: C) Z+ ~( g9 RAbelian Group isomorphic to Z/4
Defined on 1 generator
Relations:
7 _4 f5 p3 @# [2 a4 U    4*$.1 = 0
Abelian Group isomorphic to Z/4
Defined on 1 generator
! f7 E9 h) N4 v" ?Relations:
    4*$.1 = 0
RngIntRes
. {- F6 _- {! s" @5 cPower Structure of RngIntRes
Residue class ring of integers modulo 5
Residue class ring of integers modulo 5
' q1 x, }- E. i! C; hAbelian Group isomorphic to Z/5
Defined on 1 generator
Relations:
    5*$.1 = 0

" O% j# S  B/ a8 p  o  e# G8 f>> ClassGroup(Z) ;
             ^
Runtime error in 'ClassGroup': Bad argument types
Argument types given: RngIntRes

' u( s( a4 M/ C; p) I1 `- l+ W2 d) sInteger Ring
+ J' n* X+ _8 Y5 VAbelian Group of order 1

lilianjie

Z:=IntegerRing(12) ;Z;   
$ D. q/ m' D  I$ o' w2 b UnitGroup(Z);
- D8 ?8 b) o9 WMultiplicativeGroup(Z);
Category(Z) ;
PrimeRing(Z);
6 T# L8 d1 X) x( Y# wAdditiveGroup(Z) ;

5 Y7 A2 L0 f2 V9 m1 L2 H3 cZ:=IntegerRing(13) ;Z;   
UnitGroup(Z);
) D! b( p; z7 a- f# w) {9 lMultiplicativeGroup(Z);
Category(Z) ;
  g! O; y3 P( _; p! p5 `  FPrimeRing(Z);
; O2 b/ R( @7 m: p: k  YAdditiveGroup(Z) ;

6 O$ `: w8 ]7 |( o6 E7 q" Z; x

Residue class ring of integers modulo 12
* ^0 I5 p; R) ?Abelian Group isomorphic to Z/2 + Z/2
Defined on 2 generators
1 x% }1 E6 a, ^+ mRelations:
    2*$.1 = 0
/ g2 `! y' M" U& O2 r1 W    2*$.2 = 0
/ a, C1 ~: d2 uAbelian Group isomorphic to Z/2 + Z/2非素数环的乘群同构两个小群的直积（1*11    5*7）Defined on 2 generators
Relations:    2*$.1 = 0
# Q; ]5 o. [5 K/ i    2*$.2 = 0
RngIntRes
* L2 |3 W$ E+ f5 d0 V8 c+ XResidue class ring of integers modulo 12
Abelian Group isomorphic to Z/12
Defined on 1 generator
) P( @: p1 q$ e/ ^) G9 H! PRelations:
    12*$.1 = 0
Residue class ring of integers modulo 13
! Z/ e& R+ c* c% [Abelian Group isomorphic to Z/12
Defined on 1 generator
/ k& X; l+ W, z0 Z. ], HRelations:
, B% Y/ M  q8 j    12*$.1 = 0
Abelian Group isomorphic to Z/12     素数环的乘群同构Z13-1=Z12Defined on 1 generator
' r; X- Y, N) j3 }1 g! e5 k3 IRelations:
    12*$.1 = 0
% p* n* w8 a( t  v2 YRngIntRes
Residue class ring of integers modulo 13
. E( j+ x; c, _. j# a; H9 b2 WAbelian Group isomorphic to Z/13
Defined on 1 generator
: ^2 i) i' ]  ?7 Y) O1 D. M* eRelations:
    13*$.1 = 0

lilianjie

& s" {' V# O- w6 O
. [5 [% U/ T, }! KZ:=IntegerRing() ;Z;   

R:=IntegerRing(12) ;R;   
# k0 K, k0 I# F9 DS:=IntegerRing(13) ;S;   


PrimeRing(R) ;
Centre(R) ;
! h, g9 i8 C% s2 @" E
6 o6 y0 u; g; M" v8 V' `" g* [Characteristic(R) ;
4 D! \2 x! R2 [0 J# R ;阶----元素数
IsPID(R) ;非素数不是整环不是极大理想整环，但都有极大理想公因子IsDomain(R) ;
Has**(R) ;

- T# I4 G; z& TIsPID(S) ;
IsDomain(S) ;
Has**(S) ;
4 _$ C) ~6 V; _) [R eq S ;
2 K: m; P: o3 ~# p6 E9 oR ne S ;

3 J$ R% V5 L, m6 UParent(R!123) arent(S!123) ;
; X! p& ?- k: x6 |Category(R!234) ;Category(S!234) ;

a:=Random(R) ;a;b:=Random(S) ;b;
3 q& W6 Z0 v  r3 k5 QRepresentative(R) ;
+ u3 _3 Y$ R8 }6 ]% |Representative(S) ;
  @6 t, v3 w: }) e. \
. f" ?( E1 o5 f$ ]4 t* i(R!a) in R ;
" l/ K7 [: O  v6 O" K0 L(S!b) notin S ;
IsUnit(a) ;                是单位吗
IsIdempotent(a) ;是幂等元吗
IsNilpotent(b) ;是幂零元吗
% \: z0 H3 s' G9 PIsZeroDivisor(a) ;可除零吗
& {* g6 p5 D# w# BIsIrreducible(Z!b) ; 可约吗IsPrime(Z!a) ;

- I" h/ ]! w! c- zZ!a gt Z!b ;
; P7 B* M5 a( C2 rZ!a ge Z!b ;
/ _" E# h8 n$ c/ W8 vZ!a lt Z!b ;
Z!a le Z!b ;只有同类环才可比较元素大小，Maximum(Z!a, Z!b) ;
Minimum(Z) ;
2 c8 W! t. _/ C
Maximum(S) ;
Minimum(Z!a, Z!b) ;
Minimum(R) ;
) ]) i& v  \0 Z; r


Integer Ring
6 o( c) P5 v6 R5 W( F5 j5 x6 sResidue class ring of integers modulo 12
Residue class ring of integers modulo 13
Residue class ring of integers modulo 12
9 Z% W* i& ?; o5 d  U- [, `6 WResidue class ring of integers modulo 12
12
12
- I& \+ L. G% ffalse
false
! j" R, k; W" n- e/ [3 Atrue
true
true
3 x' e7 R$ h* d& s. V: Utrue
false
- `+ x/ i" i- F/ z2 m# ptrue
- x. h; C" y5 X& Y7 ?6 n2 d( o) LResidue class ring of integers modulo 12
Residue class ring of integers modulo 13
RngIntResElt
- A% X3 J/ v4 U' h) I( u, BRngIntResElt
: c9 `6 m5 J  t) \& }& {9
- L, q1 I4 ^8 T2 D: L8 f( d12
0
0
true
false
& s9 z2 h; j9 |7 k  O' Dfalse
true
false
6 k7 s) l0 t( ?4 {7 Q. h' \" Ltrue
3 t% b: {$ s# f- _0 h2 Nfalse
false
2 @8 M# b( U- {% [& Jfalse
5 F. C3 a) I& z- d# f% y( t% V) Kfalse
( ~. `: A& U2 y  ytrue
true
12
, y8 m( l! o5 @( Z6 n1
1 j. `9 k% p( y
+ u% ?; u. j2 `% S. ~' c( ~>> Maximum(S) ;
, P% }$ Y  Y4 y          ^
  l5 k( Z: q3 URuntime error in 'Maximum': Bad argument types
Argument types given: RngIntRes

9
% i4 U! m2 J, i* P' v
: j9 b1 M9 m. k1 T  h>> Minimum(R) ;
          ^
5 }* {8 J" C0 c* L- v, }+ NRuntime error in 'Minimum': Bad argument types
, V1 T$ ~2 Q2 d! EArgument types given: RngIntRes

lilianjie1

Z:=IntegerRing() ;Z;   
5 N6 A0 |) G- p' yI12:=ideal< Z | 12 >;
I12;
* X$ p6 D3 u! ?0 W) zZZ:=IntegerRing(15) ;ZZ;   
IZZ15:=ideal< Z | 15 >;
IZZ15;
I12 eq IZZ15;
/ v: q; n, `5 F% n( b* h3 n+ J% GQ1:=quo< Z | 12 >;Q1;
ZZZ:=IntegerRing(5) ;ZZ;   
3 z$ ]; L, n) N9 zIZZZ5:=ideal< Z | 5 >;
IZZZ5;

I12 *  IZZ15;            理想和/积/并/交，
理想和是理想对应两（可多个）元素加，
理想积是两理想（可多个）对应元素积，
理想并就两（可多个）理想元素并，就不一定还是理想，
理想交是理想（可多个）元素交，理想交一定还是理想，
8 c5 @) s8 ^7 d" E; ]$ `2 X2 [! f
理想积是理想交的真子集，极大理想交是理想------J根
- J* c: N: T1 a$ ~+ u9 Q6 F理想商就理想间同态：是必须能整除
8 k2 O% s/ P. o0 @3 \I12 +  IZZ15;
I12 meet  IZZ15;

I12 * IZZZ5;
7 \! E. `% ?2 S5 w+ x: E( hI12 + IZZZ5;
I12 meet IZZZ5;
I12 / IZZZ5;
IZZZ5/ I12 ;
8 ^* ^( }/ M& X: k  NZ * IZZZ5;
6 M5 ^& D; P+ W% E. fI12 + IZZZ5;
! m: F8 {' y6 oIZZ15 meet IZZZ5;
0 n3 E* p3 [( m0 i* ?6 yIZZ15 / IZZZ5;Z meet IZZZ5;
( |& t5 e& V' I$ N" W8 ^0 BI12 meet IZZZ5;
IZZ15 meet IZZZ5;
IZZ15 / IZZZ5;
2 Y% d( U2 ^- G0 E* x, d+ n! }
I12  subset  IZZZ5;运算后的各种理想互相是否包含IZZ15  subset   IZZZ5;
/ y" `/ Y0 j3 [( rIZZ15 subset IZZZ5;
. t. y7 R$ n: aIZZZ5 subset IZZ15;
. O# `. H# Y0 ], lInteger Ring
8 A5 {9 @7 @+ @Ideal of Integer Ring generated by 12
4 E  ^2 I4 K" T& n+ E; R% ?1 vResidue class ring of integers modulo 15
Ideal of Integer Ring generated by 15
false
Residue class ring of integers modulo 12
Residue class ring of integers modulo 15
Ideal of Integer Ring generated by 5
Ideal of Integer Ring generated by 180
& h% m9 u) I. M- X( j1 ?Ideal of Integer Ring generated by 3
; @2 p5 d! y: o8 j) P; Z% y" ~Ideal of Integer Ring generated by 60
5 J: P# I1 t" b. J* G' @  n0 {* }6 kIdeal of Integer Ring generated by 60
Integer Ring
Ideal of Integer Ring generated by 60
: @) `# o/ h0 U! C& K8 x
; w5 |$ w3 _6 F+ `- p>> I12 / IZZZ5;
       ^
& I( t) P1 k3 }7 r4 E1 V- zRuntime error in '/': Argument 2 must divide argument 1.

. s3 d  W- H+ P  S, G
" o- Q+ z9 e; P  x% g* j& ?>> IZZZ5/ I12 ;
        ^
% }8 B+ K1 k' h+ j! Q) i0 z3 vRuntime error in '/': Argument 2 must divide argument 1.

Ideal of Integer Ring generated by 5
: B$ |! b0 j  e0 G( y. D. CInteger Ring
Ideal of Integer Ring generated by 15
Ideal of Integer Ring generated by 3
( C1 Z- S" k$ ^+ T$ w7 O3 VMapping from: Ideal of Integer Ring generated by 3 to RngInt: Z
2 h1 A! q1 G9 d" |: n% MIdeal of Integer Ring generated by 5
' u: x& t; L7 B) l0 |1 |Ideal of Integer Ring generated by 60
9 p/ T$ j  y3 O8 r5 p% f- AIdeal of Integer Ring generated by 15
% j% g/ i- W1 U% \Ideal of Integer Ring generated by 3
Mapping from: Ideal of Integer Ring generated by 3 to RngInt: Z

1 R! o6 ~2 q  h7 ofalse
4 b  ]6 W8 X  n6 Y% j  Ctrue
true
false

lilianjie1

Z:=IntegerRing() ;Z;   
I12:=ideal< Z | 13 >;
I12;
ZZ:=IntegerRing(60) ;ZZ;   
+ j. J; R8 U' F" I# a3 WIZZ15:=ideal< ZZ | 31 >;
IZZ15;
ResidueClassField(I12);
5 {9 y8 N: F& H4 `8 v- b" RResidueClassField(IZZ15);环和极大理想的商构成域---剩余类域，剩余类环中的素数都是极大理想
6 l1 m( e! N4 Cloc< Z | 19> ;
loc< Z | 17> ;
loc< Z | 131> ;局部化：一个素理想到原环元素的映射
ext< Z | > ;超越扩张到一元多项式
ext< ZZ | > ;
8 V2 X" _, \9 B0 ^% q& [& b
ext< Z, 2 | > ;超越扩张到多元多项式
. ?- c0 P8 c& ~* v7 M8 X
- e# w' A# Y4 V4 Vext< Z, 3 | > Completion(Z, I12) ;

" i3 k9 [0 Y+ c' l
/ J4 I- D- s6 i% q1 T, vcomp<Z |I12  >;
    素理想零理想完备化，和P进环联系起来
Completion(Z, 0) ;
, l* K3 V: I1 R& e6 k# G+ Jcomp<Z |0  >;

Integer Ring
( s7 k: t/ {6 d4 \, GIdeal of Integer Ring generated by 13
Residue class ring of integers modulo 60
+ d* O: L) j- T. o, JResidue class ring of integers modulo 60
Finite field of size 13
$ B1 C" n$ i5 |: ~3 kMapping from: RngInt: Z to GF(13)
* t4 R( ^( {5 E+ b' Hmodulo 13
1 G. |  i+ Y* ]" |' q
>> ResidueClassField(IZZ15);
                    ^
! B8 F- [0 O& X: F2 c% t; nRuntime error in 'ResidueClassField': Bad argument types
Argument types given: RngIntRes
; x9 t" l0 t3 x3 L
' C; E# L+ t! G$ H4 m3 U9 ]Valuation ring of Rational Field with generator 19
Mapping from: RngInt: Z to Valuation ring of Rational Field with generator 19
- [! y7 z9 r2 ^4 X0 x3 M9 k1 x3 ]0 PValuation ring of Rational Field with generator 17
8 ?; ^5 b. C2 }1 S4 O9 A( }0 g2 ?Mapping from: RngInt: Z to Valuation ring of Rational Field with generator 17
Valuation ring of Rational Field with generator 131
Mapping from: RngInt: Z to Valuation ring of Rational Field with generator 131
Univariate Polynomial Ring over Integer Ring
7 |, Z( F/ w! A0 P! K) D5 s8 YUnivariate Polynomial Ring over IntegerRing(60)

>> ext< Z, 2 | > ;
      ^
2 D! J3 ~( a# |5 eRuntime error: This constructer is no longer supported
( {# h" F- m' ]+ c- w8 s1 y: g8 H

& k! r( _1 v- ]>> ext< Z, 3 | >
      ^
1 H- n4 r# l+ G1 }Runtime error: This constructer is no longer supported

" e5 j' A# s; k13-adic ring
4 Y0 E' T6 [& i6 T6 v' QMapping from: RngInt: Z to pAdicRing(13)
7 P* @) k* K2 B7 X' n
Completion(
  ~2 k( @. j* t    Z: Integer Ring,
    P: Ideal of Integer Ring generated by 0