一些初等函数：

lilianjie

:=IntegerRing() ;Z;
n := -1666666666234567890;
# V  y8 E9 `  O: `> n;

5 X  X! Q6 |+ I! r7 Y2 X> n:Hex;                           转16
IntegerToString(n, 2);        转2
8 y, o& @7 K9 R( l* [! O4 OIntegerToString(n, 10);       转10
& T( q$ |+ e/ m+ C7 [. j9 QIntegerToString(n, 16);        转16
IntegerToString(n, 36);         转36IntegerToString(n) ;
0 p6 B9 f$ I. b! OIntegerToString(-0x17213080A7E55CD2);转串Zero(Z);
1 q8 q/ _4 w# V# E8 g  k& d1 U. RIdentity(Z);                  
Representative(Z);         环代表元
Eltseq(n);                        取整
Eltseq(-0x17213080A7E55CD2) ;Denominator(n);Denominator(12/13);Denominator(222222/111);
$ _0 r3 k- Z9 Q5 T4 C
m := elt< Z |  -0x17213080A7E55CD2>;m;         在虚实2次域中进制砖换不变
: z& n' n! f" w; o. }% [, Zk := Z ! elt< QuadraticField(3) | -1666666666234567890, 0>;
> k;
+ @- }3 @( d9 V0 N! Y8 \n eq k;
kk := Z ! elt< QuadraticField(3) | -0x17213080A7E55CD2, 0>;
; j% Y( G; |9 z6 u. d+ Q4 X> kk;
, Q! p# R6 q- G) T5 M5 akk eq k;
3 h- ~/ {: o, X- r) x5 t3 f
& p* |& x# y3 ?( E2 Tk := Z ! elt< QuadraticField(13) | -1666666666234567890, 0>;
> k;
9 {0 \9 ]6 [9 Dn eq k;
kk := Z ! elt< QuadraticField(13) | -0x17213080A7E55CD2, 0>;
> kk;
kk eq k;
0 L. d) D+ F9 U2 V. ~" }5 v
Eltseq(kk) ;Eltseq(-1/14);

7 \; A4 X! F* z7 S* B/ v/ w

, a5 i2 K" p% A
7 W8 V, Q9 W( mk := Z ! elt< QuadraticField(-3) | -1666666666234567890, 0>;
> k;
7 D( |# `5 j. G/ k; t5 cn eq k;
kk := Z ! elt< QuadraticField(-3) | -0x17213080A7E55CD2, 0>;
4 E. t; T, `. _> kk;
kk eq k;
7 ]7 f  p7 i+ g" [, _
8 a1 C' ]- P- `: n+ ~: Sk := Z ! elt< QuadraticField(-13) | -1666666666234567890, 0>;
% y. e- Z% y2 k& Z0 a. u> k;
n eq k;
: n$ M3 w! c! skk := Z ! elt< QuadraticField(-13) | -0x17213080A7E55CD2, 0>;
> kk;
kk eq k;
+ v0 r: w( {; L: J. u- f8 ]) {
& c: v& I3 m# L% gEltseq(kk) ;Eltseq(-1/14);
4 h) L$ V- M& u  s9 X9 k. b
) l) e1 y: n& P9 [) W



9 s  z  J7 g/ w4 R3 E/ F+ f9 `- A

$ b& n. c# w7 T. T& U9 U% g4 A! Y% O


=============
% j/ U, F8 B" a5 B" I. p+ R/ J# j



Integer Ring
-1666666666234567890
! B* U3 T1 g7 ~$ j, s# J5 ?+ m/ f-0x17213080A7E55CD2
/ ]! e' {) D  Y: M2 Q# C-1011100100001001100001000000010100111111001010101110011010010
/ w8 V* P$ L5 p-1666666666234567890
1 t0 N1 Z! N0 n8 O7 V* j5 }" k4 Z& F-17213080A7E55CD2
7 }$ Q/ c: B) ]+ W/ D* h/ P-CNUO0WGPY9CI
-1666666666234567890
-1666666666234567890
0
; B! |; v2 K: C) G5 A; h1
, h$ b) x$ b* I  B8 k1 F1 p0
[ -1666666666234567890 ]
6 K9 q5 b; W: J[ -1666666666234567890 ]
0 a- D" Y0 p& g- W1
; x) J6 N, e& h13
1
# A+ P; f; `# ]+ p5 U
-1666666666234567890
true
+ A+ A. ?; q& b) Y: W- X3 L2 w. i- s-1666666666234567890
! _4 W3 O! D0 l" |, p' ktrue
-1666666666234567890
& Z0 L" e# p$ q' c/ I8 {; ?true
-1666666666234567890
; l3 |( ]6 T! Ntrue
- R9 a+ l3 g& o6 K' N[ -1666666666234567890 ]
9 H. D( L4 W9 X% o1 }! Y[ -1/14 ]

! b$ x: i) |7 d$ Q
0 N* r; m  n+ d0 ^


/ T$ z5 S7 s, o! ]
9 D: p0 z# X2 N! W; a
-1666666666234567890
* i! v! e' d' }! f0 E% b4 s. ?-1666666666234567890
true
, k" V* ~3 L9 @) ~-1666666666234567890
) U  R4 J! Y$ utrue
-1666666666234567890
- @% r- [( e+ ?8 V2 Btrue
9 c/ @" }* k6 u. t$ u% n2 _-1666666666234567890
2 @% {7 ^( T5 Wtrue
9 t' I, r7 q, Y7 ?1 w, W7 U[ -1666666666234567890 ]
[ -1/14 ]

' f, F  a1 ?3 v; G/ _

lilianjie1

Z:=IntegerRing() ;Z;   
8 b- {8 o8 w( m& KI12:=ideal< Z | 13 >;
0 Q- G0 a9 z6 S# @% G$ pI12;
ZZ:=IntegerRing(60) ;ZZ;   
IZZ15:=ideal< ZZ | 31 >;
IZZ15;
+ N" t% t6 U* uResidueClassField(I12);
ResidueClassField(IZZ15);环和极大理想的商构成域---剩余类域，剩余类环中的素数都是极大理想
9 R# A; y" I- B3 V- xloc< Z | 19> ;
loc< Z | 17> ;
) c" R. f7 q9 o1 t7 Wloc< Z | 131> ;局部化：一个素理想到原环元素的映射
8 K! o7 q' F4 f2 l' ^9 ~/ Text< Z | > ;超越扩张到一元多项式
ext< ZZ | > ;

4 j' d0 ]& h, _2 Wext< Z, 2 | > ;超越扩张到多元多项式

ext< Z, 3 | > Completion(Z, I12) ;


comp<Z |I12  >;
    素理想零理想完备化，和P进环联系起来
Completion(Z, 0) ;
5 v" I+ I! B% X3 g2 M' k: x5 ^% V' Jcomp<Z |0  >;
5 x9 \& y$ H$ T
Integer Ring
; h! c  K" W$ A, SIdeal of Integer Ring generated by 13
Residue class ring of integers modulo 60
6 g) J* a6 B1 D0 TResidue class ring of integers modulo 60
8 e1 X7 t3 U; ^* ?Finite field of size 13
4 V% `( m- }( f% {4 i; i' JMapping from: RngInt: Z to GF(13)
modulo 13
5 n; Y# \" M! R+ l
>> ResidueClassField(IZZ15);
                    ^
Runtime error in 'ResidueClassField': Bad argument types
' H8 I& Y$ Y/ \+ }Argument types given: RngIntRes

Valuation ring of Rational Field with generator 19
Mapping from: RngInt: Z to Valuation ring of Rational Field with generator 19
Valuation ring of Rational Field with generator 17
; k" I* ?5 a0 m! C/ C' H. b* }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
& E% A4 E# J* A6 \Univariate Polynomial Ring over Integer Ring
Univariate Polynomial Ring over IntegerRing(60)
7 M& c  r1 g7 K6 j6 ]
. g# x; y4 \0 u1 x8 H>> ext< Z, 2 | > ;
9 W/ x" _7 |) Q( w) m      ^
Runtime error: This constructer is no longer supported
( n" q8 d5 ^* ]; y5 V; t

( M+ Y% r. z+ n4 X/ o: _% i' l0 E>> ext< Z, 3 | >
  e* [4 @% Z7 }0 Z8 k( ^3 C" E      ^
1 G0 a; N  r- ~- M* N' F$ Z, ZRuntime error: This constructer is no longer supported
+ Z- V: V3 a* r( S, c$ s2 |
, w3 _  Q; z5 o# A# Q4 s13-adic ring
( N9 E/ ~$ K, Z7 Z4 ~Mapping from: RngInt: Z to pAdicRing(13)

7 B" h8 W% ?. s  L" i8 Z7 U- tCompletion(
4 N' t, e3 |% u7 R    Z: Integer Ring,
    P: Ideal of Integer Ring generated by 0
2 u6 Z, C$ i" a$ r1 J

lilianjie1

Z:=IntegerRing() ;Z;   
5 O6 a: R- G* I4 _* m4 t% Q/ O( uI12:=ideal< Z | 12 >;
I12;
: G: J* `7 ~- o0 v" m* M: BZZ:=IntegerRing(15) ;ZZ;   
IZZ15:=ideal< Z | 15 >;
; B4 g! h( Z. s3 Q! }IZZ15;
) r$ z5 m" j/ Z6 u  eI12 eq IZZ15;
Q1:=quo< Z | 12 >;Q1;
4 D8 p  z. K- A6 K5 n1 UZZZ:=IntegerRing(5) ;ZZ;   
IZZZ5:=ideal< Z | 5 >;
IZZZ5;
1 e* K% i5 q+ R: S8 ^4 R; |
I12 *  IZZ15;            理想和/积/并/交，
理想和是理想对应两（可多个）元素加，
理想积是两理想（可多个）对应元素积，
; f- g; g+ D; m& [2 v理想并就两（可多个）理想元素并，就不一定还是理想，
理想交是理想（可多个）元素交，理想交一定还是理想，

# ^  ]) V/ q# J5 I$ y理想积是理想交的真子集，极大理想交是理想------J根
理想商就理想间同态：是必须能整除
I12 +  IZZ15;
I12 meet  IZZ15;
  G. B0 N, e' \
I12 * IZZZ5;
+ F3 u1 Q- h9 L2 dI12 + IZZZ5;
I12 meet IZZZ5;
I12 / IZZZ5;
IZZZ5/ I12 ;
Z * IZZZ5;
I12 + IZZZ5;
- y0 H+ Y  Z" C% \IZZ15 meet IZZZ5;
IZZ15 / IZZZ5;Z meet IZZZ5;
I12 meet IZZZ5;
IZZ15 meet IZZZ5;
4 `) i- q6 g, n' p. p3 xIZZ15 / IZZZ5;

8 p1 }1 ?) c2 H0 K9 B3 c, v) GI12  subset  IZZZ5;运算后的各种理想互相是否包含IZZ15  subset   IZZZ5;
* A0 D: @$ h* {) _& }5 cIZZ15 subset IZZZ5;
6 t8 b8 L, W" Q: P9 H8 O1 l6 L& bIZZZ5 subset IZZ15;
# |9 Z  P  e7 `; ^! j9 ZInteger Ring
% m! r3 [6 L2 }+ E% D# L  T% fIdeal of Integer Ring generated by 12
. Q5 ~* _: V  a5 M; d. pResidue class ring of integers modulo 15
Ideal of Integer Ring generated by 15
; m4 c8 w, P; i6 v! K4 bfalse
Residue class ring of integers modulo 12
Residue class ring of integers modulo 15
: ^1 ]7 \* |" C7 L1 g& C+ P' G' yIdeal of Integer Ring generated by 5
Ideal of Integer Ring generated by 180
2 y! M/ Y& Z1 F( j: \Ideal of Integer Ring generated by 3
8 o. J0 V0 H+ s* U/ b, h( MIdeal of Integer Ring generated by 60
Ideal of Integer Ring generated by 60
% m2 C! }+ I6 x4 p+ eInteger Ring
Ideal of Integer Ring generated by 60

+ l: K$ v# ]7 L0 z# \" `! \>> I12 / IZZZ5;
       ^
8 A2 c1 A( z9 n) z0 e- }8 sRuntime error in '/': Argument 2 must divide argument 1.
: p) J8 j/ T8 j! v! N3 D; O
' A* ?* Z& f. U. n& ?
>> IZZZ5/ I12 ;
( {5 K1 `) ]) \# C& g/ _7 r        ^
Runtime error in '/': Argument 2 must divide argument 1.

Ideal of Integer Ring generated by 5
Integer Ring
Ideal of Integer Ring generated by 15
& F; u. Z! `6 X! {Ideal of Integer Ring generated by 3
Mapping from: Ideal of Integer Ring generated by 3 to RngInt: Z
/ o: N. [; V( [# i( R$ R  P( d& JIdeal of Integer Ring generated by 5
. D& u- N( h6 H/ q+ K" b2 {Ideal of Integer Ring generated by 60
) |  \9 I: j1 u4 I' F, Q* {Ideal of Integer Ring generated by 15
Ideal of Integer Ring generated by 3
( P9 @, [$ e8 wMapping from: Ideal of Integer Ring generated by 3 to RngInt: Z

: I' f+ Z3 o2 y- D) J; efalse
) \8 N( N! i  d% K. ^4 }5 l2 Z0 Z" E1 [true
7 l: d# }' [" S8 ~5 D- G7 btrue
false

lilianjie

4 g0 W. \: O0 k
Z:=IntegerRing() ;Z;   
! B  u. d. R. A$ E- P  }4 Q9 b
R:=IntegerRing(12) ;R;   
( L* L# t* b- d% n! H( v/ vS:=IntegerRing(13) ;S;   
4 ~0 y# x" |0 Y' M

* |+ a2 k0 b6 V6 U% S+ CPrimeRing(R) ;
Centre(R) ;
; k9 p3 \9 m, A. I* V) `
Characteristic(R) ;
$ u/ j2 b5 t: f/ b! [) }* n# R ;阶----元素数
IsPID(R) ;非素数不是整环不是极大理想整环，但都有极大理想公因子IsDomain(R) ;
Has**(R) ;
) i) T. `5 |! B& ~) p& t; w1 A; M1 G
& O4 x& L  ]9 HIsPID(S) ;
9 @# o( ~# h+ }/ A9 TIsDomain(S) ;
' s, w9 {# H* p2 T% C9 GHas**(S) ;
R eq S ;
R ne S ;
9 v: D* n; X- @7 J$ C
' Q- K. V3 q# O9 W  n5 p% BParent(R!123) arent(S!123) ;
5 X6 I% R8 S; T5 t4 U: B4 A# qCategory(R!234) ;Category(S!234) ;

' v  n- Q! {, M2 L: C/ j9 R* v3 ya:=Random(R) ;a;b:=Random(S) ;b;
Representative(R) ;
Representative(S) ;
& m$ [7 y( A8 h& @; R: ^
4 j1 M6 l; t, Z& }% Q(R!a) in R ;
* G$ ]% w" H  M(S!b) notin S ;
/ i7 ~8 q9 [; C7 S8 j* xIsUnit(a) ;                是单位吗
7 E. |8 a5 J2 D2 n7 MIsIdempotent(a) ;是幂等元吗
5 ?3 r7 F, F* M! q0 U0 xIsNilpotent(b) ;是幂零元吗
  D) C2 }( w# a' _6 {4 AIsZeroDivisor(a) ;可除零吗
5 g$ J7 I. c; aIsIrreducible(Z!b) ; 可约吗IsPrime(Z!a) ;

Z!a gt Z!b ;
, p: ^" w; K6 U- \1 D7 o" GZ!a ge Z!b ;
! P. I1 R. o+ V# c  f' IZ!a lt Z!b ;
2 Z2 j8 X/ `/ k: B; I0 |: NZ!a le Z!b ;只有同类环才可比较元素大小，Maximum(Z!a, Z!b) ;
/ X8 {* ?' z+ I6 E. @8 d& @Minimum(Z) ;
- |% Z/ w0 m* ^: k
. f* j/ g2 l: _7 m! u( G% {3 B$ DMaximum(S) ;
3 U3 a; _4 E; ]# r8 E# d# j. iMinimum(Z!a, Z!b) ;
Minimum(R) ;
. ?( [/ R: S% A  x$ n
! Y, W, [4 `/ j  t; ^6 h" P# \
4 a2 l8 D* |3 h! y* M+ |0 ]9 h
. y% C7 `0 }' hInteger Ring
Residue class ring of integers modulo 12
Residue class ring of integers modulo 13
Residue class ring of integers modulo 12
& _2 w# E- n& d4 o+ z* K% U# K* xResidue class ring of integers modulo 12
' N* R* _* Q1 }6 L12
* U3 K1 `0 O  Q& G$ r12
  v" d9 E5 R$ l+ R& \/ W# gfalse
" g2 A( q: x! e- Vfalse
% ^4 T; p1 j: d9 a: n  b& H0 Z! etrue
( Y; ]# G& p4 j( G- Atrue
" F4 j) j0 r' E6 Jtrue
# G8 o$ Z2 i7 e& G0 Z! V' Q, ztrue
false
true
Residue class ring of integers modulo 12
0 q4 m9 _1 E2 dResidue class ring of integers modulo 13
9 A/ l$ X- g/ {: a# k$ B. RRngIntResElt
3 ^. [) `( H# l2 PRngIntResElt
! _7 _: {6 b0 Q) o& b, R6 K' b. k' q9
12
0
0
true
false
false
( j  d5 ~2 ~) u. Atrue
false
true
6 ]/ k3 F) U4 ufalse
3 |8 E5 y2 T3 W" W: g( Zfalse
false
' A4 J/ [8 V: ?false
true
# d; q0 k' w% I6 t5 p$ k0 Y# jtrue
12
1

& w$ \! e3 f! z. k>> Maximum(S) ;
          ^
Runtime error in 'Maximum': Bad argument types
# f' ?% M; U; a3 m* QArgument types given: RngIntRes

9
/ p! J# j2 b3 X. E9 _
+ R3 x& s# [" g( r>> Minimum(R) ;
5 v# ~. `. `  Q8 u/ |1 o          ^
6 N. j5 O3 P# H4 ?Runtime error in 'Minimum': Bad argument types
, I' `: r0 V; Q$ I* s7 n9 UArgument types given: RngIntRes

lilianjie

Z:=IntegerRing(12) ;Z;   
" o; p( s" D) @! u' @9 e( d UnitGroup(Z);
MultiplicativeGroup(Z);
9 [* v3 |, E) |1 I* HCategory(Z) ;
PrimeRing(Z);
AdditiveGroup(Z) ;
. ?4 f7 I; T' c* R; ~' ~
Z:=IntegerRing(13) ;Z;   
1 ?# W0 T& h% A" }  {( ^ UnitGroup(Z);
MultiplicativeGroup(Z);
Category(Z) ;
+ k" l# B/ z5 p9 t$ BPrimeRing(Z);
AdditiveGroup(Z) ;



) ]  a- p* {3 Z* ?9 S' Z' M! mResidue class ring of integers modulo 12
2 I, i# m% z& MAbelian Group isomorphic to Z/2 + Z/2
Defined on 2 generators
Relations:
    2*$.1 = 0
    2*$.2 = 0
. D. A) j3 w, G' W7 SAbelian Group isomorphic to Z/2 + Z/2非素数环的乘群同构两个小群的直积（1*11    5*7）Defined on 2 generators
% G3 o% f8 R1 `$ hRelations:    2*$.1 = 0
, ~9 p% z8 C8 x$ q' F, ?% b! [    2*$.2 = 0
# a1 L' i- T6 B# U$ wRngIntRes
Residue class ring of integers modulo 12
6 T: S- b& D8 p; X/ N2 ]Abelian Group isomorphic to Z/12
! q5 ]8 v' b& I& l& `Defined on 1 generator
Relations:
+ p1 R/ Z+ i" L' `6 W  U- P    12*$.1 = 0
* O. R+ i9 n- G4 aResidue class ring of integers modulo 13
Abelian Group isomorphic to Z/12
Defined on 1 generator
7 y. r' a: Y" W- Z/ ~- p: a! LRelations:
    12*$.1 = 0
9 T( a* {! B5 G5 JAbelian Group isomorphic to Z/12     素数环的乘群同构Z13-1=Z12Defined on 1 generator
/ W. o7 j- S; e$ d5 _$ i2 v: a. gRelations:
7 B' v8 T4 ]' t/ q    12*$.1 = 0
RngIntRes
Residue class ring of integers modulo 13
3 I: Z1 y' m6 e# ]- lAbelian Group isomorphic to Z/13
Defined on 1 generator
; f9 ?8 X% V( Y, T0 pRelations:
4 G$ i) |& Z# B+ N4 c$ {    13*$.1 = 0

lilianjie

- n1 d! q( ^$ y; p& a. Q4 r0 iZ:=IntegerRing(5) ;Z;           模5等价类环n := 1666666666234567890;
8 C! M4 R  O5 u5 x' S> n;
" H* W1 ]* j! ^; j# O) O$ Z* ^n1:=Z!1111111111111111111111;n1;
8 A, S6 b- J4 ]$ O; @! ]n2:=Z!11333331111111111111111;n2;
* C- ]7 \' b& l" H
& _' E. T" h" u+ q1 D+ _4 d: M
1 Q& ]2 A, V% M. @9 HK:=Z!n1+Z!n2;K;
; e, L7 E+ g1 o; F
/ P: r: f5 f, E, q& ^  gIsField(Z);      是域吗Characteristic(Z);环特征
IsFinite(Z);有限环吗
IsCommutative(Z);可换吗
" C+ w7 F( i& i" }0 u  I; p& IIsOrdered(Z);有序吗-------应有不过这函数没有这功能IsEuclideanDomain(Z);欧整环吗------欧环还有非整的。。。。
! f" `% D8 M3 P& UIsPID(Z) ;主理想整环吗

! {6 C/ Z5 @4 e; M2 m9 d, c/ _IsUFD(Z) ;唯一分解吗
9 G  g( l; |* nIsDivisionRing(Z) ;除环吗
4 v# ]- o1 o+ l* J9 GIsEuclideanRing(Z) ;欧环吗
IsPrincipalIdealRing(Z) ;主理想整环吗
IsDomain(Z) ;整环吗FieldOfFractions(Z);分式域
* Y( F4 t; H4 @UnitGroup(Z);单位群
9 L1 r9 m4 a6 t8 bMultiplicativeGroup(Z);乘群
Category(Z) ;范畴Parent(Z) ;父环
4 S* |2 Q3 |9 e6 t+ h! lPrimeRing(Z);素环单环和本原环不同Center(Z) ;中心
AdditiveGroup(Z) ;加群-----就第行一特点ClassGroup(Z) ;类群----------只有Z才有------难懂理想类群更难懂
" d; p8 r* m9 L' E5 F3 e* a
3 y; \0 N. Y# ]. p7 bZZ:=IntegerRing() ;ZZ;
ClassGroup(ZZ) ;
, F, z8 M% H( B+ |7 R- y* F
! h) y9 ^. E3 T- e; Y/ r! P===========

Residue class ring of integers modulo 5
! `! X; X5 n: Y, Z& Q1666666666234567890
7 t% }& [* Y' F/ h; R# c9 Q9 E1
& C, x: l% W; E; s1
# F/ x4 i9 w" [4 i2
true
+ ~% l: o) J9 Z5
true 5
$ C! m1 p6 T# q+ w, {: {3 q5 ?/ ztrue
false
" v2 P; ~/ K6 Ttrue
true
& F0 X# v; E' O- {true
true
true
true
true
9 m! ]6 M3 c7 T6 k0 X: m1 M  iResidue class ring of integers modulo 5
1 R- t, F6 Y- Z: G7 Y( h6 {) iAbelian Group isomorphic to Z/4
  z9 k% p1 T* g6 _Defined on 1 generator
Relations:
    4*$.1 = 0
Abelian Group isomorphic to Z/4
+ v* H. q0 t& T+ ^9 j$ h- v0 J% h- ]Defined on 1 generator
: x1 S6 e6 p- r" Z" O" ]1 yRelations:
    4*$.1 = 0
RngIntRes
3 Y$ |# C  C& DPower Structure of RngIntRes
Residue class ring of integers modulo 5
0 o4 B( b* ^; h' W8 bResidue class ring of integers modulo 5
Abelian Group isomorphic to Z/5
% r3 r" ~& r% h- v3 T9 kDefined on 1 generator
Relations:
    5*$.1 = 0

' W8 B$ Z2 v. X6 @2 i) G" T>> ClassGroup(Z) ;
1 W( ?6 ~# h0 w- m' l             ^
/ {) A/ C, y, JRuntime error in 'ClassGroup': Bad argument types
Argument types given: RngIntRes

Integer Ring
Abelian Group of order 1

lilianjie

ss:=12345678111;ss;
s:=0x12345678111;ss;
( m$ Y  \; Q& o9 }
sss:=Factorization(ss);sss;
- L# ^- Q$ ?% I. M9 J2 usss1:=Factorisation(s);sss1;
& p7 V5 [# x) ^: I: \FactorizationToInteger(sss);
FactorisationToInteger(sss1) ;
5 F# o( G5 P. \9 f# q3 ?Facint(sss1);因子分解和还原ssss:=Intseq(ss, 2);ssss;
; V. h+ X4 I$ L' c7 c4 zSequenceToInteger(ssss, 2);
ssss:=Intseq(ss, 17);ssss;
SequenceToInteger(ssss, 17);
ssss1:=Intseq(s, 17);ssss1;
SequenceToInteger(ssss1, 17);转成2和17进制

12345678111
/ G+ u6 P) f; J* Z& u7 R  I12345678111
[ <3, 1>, <13, 1>, <31, 1>, <1447, 1>, <7057, 1> ]
[ <3, 1>, <83, 1>, <34129, 1>, <147209, 1> ]
12345678111
6 J6 f$ }* Z  B$ R3 X( ~$ N1250999894289
1 h! x4 `" U& F9 {- G1250999894289
. R) W3 z( P# v. a[ 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 ]
12345678111
[ 8, 6, 6, 4, 0, 8, 1, 13, 1 ]
12345678111
9 f1 B1 [& z* S$ }. _[ 14, 6, 7, 11, 9, 15, 11, 5, 9, 10 ]
1250999894289

孤寂冷逍遥