QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3589|回复: 7
打印 上一主题 下一主题

一些初等函数:

[复制链接]
字体大小: 正常 放大
lilianjie        

43

主题

4

听众

204

积分

升级  52%

  • TA的每日心情
    开心
    2012-1-13 11:05
  • 签到天数: 15 天

    [LV.4]偶尔看看III

    跳转到指定楼层
    #
    发表于 2012-1-11 12:30 |只看该作者 |正序浏览
    |招呼Ta 关注Ta
    :=IntegerRing() ;Z;
    6 G8 ]) I8 Y4 j& t1 I% Fn := -1666666666234567890;
    & v' ~' `# y  o$ o> n;
    6 R, n" P* p4 }4 p- R7 X4 i/ f" s' N0 V  J) _' D, i
    > n:Hex;                           转16
    * Q" U& p' c% Q- g" dIntegerToString(n, 2);        转2
    ; E7 N( A* }  |1 {) SIntegerToString(n, 10);       转10
    8 B  r. B0 p% N% R4 m& Z! r: fIntegerToString(n, 16);        转16# b% P+ h1 S" D; w
    IntegerToString(n, 36);         转36
    IntegerToString(n) ;" ^9 C7 h; J8 |# |6 Z
    IntegerToString(-0x17213080A7E55CD2);转串Zero(Z);: _9 F, K1 Z9 q) G% h. _
    Identity(Z);                   4 j5 L7 `9 N& Q
    Representative(Z);         环代表元
    ' z6 X* T2 B% r4 CEltseq(n);                        取整/ y+ A5 a$ U" z8 d7 y6 I0 ?+ r( ]
    Eltseq(-0x17213080A7E55CD2) ;
    Denominator(n);Denominator(12/13);Denominator(222222/111);
    ) P- T1 q9 {+ d* M
    , j1 J$ m1 m% T  A6 Nm := elt< Z |  -0x17213080A7E55CD2>;m;         在虚实2次域中进制砖换不变
    8 W( l' ^5 p4 Z7 u' uk := Z ! elt< QuadraticField(3) | -1666666666234567890, 0>;
    ; U+ w4 i( v0 O2 ]> k;
    ) @3 y7 b4 |+ R6 b! g1 n1 i9 Dn eq k;
    # ]& b$ W3 N; j7 h! Ukk := Z ! elt< QuadraticField(3) | -0x17213080A7E55CD2, 0>;5 s: z4 |; [: K- D. E! D0 j0 s1 M
    > kk;
    " r! g% u" |: P& Bkk eq k;9 g$ J6 P& q# Q5 [, h9 r/ f+ g, K
    # x! R) Q$ O7 i' H( H1 F
    k := Z ! elt< QuadraticField(13) | -1666666666234567890, 0>;# S; Y# |8 Y+ Z% e+ m
    > k;( Q) C, n, j7 Q% c
    n eq k;
    8 b" q- K9 s$ j- ?  n' e5 ekk := Z ! elt< QuadraticField(13) | -0x17213080A7E55CD2, 0>;! W; f) k) N* w, ~# f. V7 ~
    > kk;$ ]5 L# J+ x: G2 c; y& \+ {* G5 h
    kk eq k;
    7 c/ A: k  Q  e& Q9 M3 T: U) G9 F+ A
    Eltseq(kk) ;Eltseq(-1/14);

    2 W! W- O7 t% j" Z
    # k+ ~9 {; b0 i! D/ _1 l% d
    9 I+ ?# U: F8 h" @& F2 B4 g7 v
    . G4 D) U6 w( {" Z* [. ]: u- a3 w6 e7 _
    k := Z ! elt< QuadraticField(-3) | -1666666666234567890, 0>;% Z/ i: ^5 Q2 W! L3 u5 j
    > k;- [4 g& x2 b7 }( |
    n eq k;
    # H3 E  B& M3 U4 Lkk := Z ! elt< QuadraticField(-3) | -0x17213080A7E55CD2, 0>;" p3 b6 \) G; f
    > kk;
    $ L  ]8 _3 O$ F' I; P4 r( kkk eq k;
    5 }/ Q# ]: x2 m# w
    7 J1 u! t' |# h3 G6 S$ |k := Z ! elt< QuadraticField(-13) | -1666666666234567890, 0>;8 R/ O+ k. V: ?2 y" S; j
    > k;2 O: I4 ]0 s8 K% U5 u
    n eq k;. g3 ~; x5 P% z# H. L0 t! j
    kk := Z ! elt< QuadraticField(-13) | -0x17213080A7E55CD2, 0>;
    # K$ l" h) f  j# {! p& T/ ~! w> kk;, R2 e2 J( e! I. ^
    kk eq k;
    4 ^, s( |) ~3 F% t' e) P6 t0 l' j9 y2 L  G/ ~( o' X$ e8 Q
    Eltseq(kk) ;Eltseq(-1/14);
    5 q2 r/ ^( {: ~
    $ y4 A' z' ~$ T: J! [- d, V. B& R, E; W( e$ V

    & E5 q" J9 N' \; t# F
    5 r8 l$ r- ]# B5 B6 R# W5 x: I; C5 Z6 h% M; r

      X) R  _* y' e4 W; v7 p
    $ W+ E! T$ D4 T2 T/ r( G
    3 X1 S0 ?+ e5 G
    " |4 o0 [6 F" P
    * E+ S0 Z$ e' E3 k+ ?4 j+ n1 Z5 m=============; ^6 [4 a8 e2 F( X! b
    . {& M) D. C; \  f
    ( B/ j, a' U* S
    + k0 m1 q2 q1 H& D4 ~1 B5 w
    8 {6 }4 a2 ~  U4 u- f/ q1 c
    Integer Ring, C# ~1 O  D# k0 ^" J" N5 V6 l& R
    -16666666662345678900 v$ L( V$ s6 Z5 P5 b7 H+ U8 Z
    -0x17213080A7E55CD2
    5 H2 d/ B- @* Z) ~-1011100100001001100001000000010100111111001010101110011010010
    " X2 V. Y7 o7 o8 Z: R6 V/ c-1666666666234567890
    0 |$ ]+ c; f- \* p( y-17213080A7E55CD2
    5 Q1 t. ^" q9 y7 K+ F6 T: ]-CNUO0WGPY9CI
    ; U" @. n8 N1 V  y0 h-1666666666234567890; b) }9 P8 p$ V& C; c. u$ U0 a
    -16666666662345678905 v. X' n; W$ _: S, r
    0
    % u; Q2 R. E6 _. w, T6 s& U: F6 u! m15 B2 f! i, r- S& l
    0% O2 D% B: Y0 q% S4 z/ o
    [ -1666666666234567890 ]
    & W' F/ ?) l+ i& m! h[ -1666666666234567890 ]
    8 t, V% ~9 d( t0 n1: W4 h/ S+ l+ u# X4 A
    13
    8 _7 r6 \9 `8 j, o/ `1% j7 V& v; U" Q# [
    - x& ~. s8 v) x" s- ~$ a3 E
    -1666666666234567890
    * F4 A/ {) ]8 ]$ E1 otrue# D) G* I3 H' P+ |# G
    -1666666666234567890
    % G+ U) d) S; {, A! Ttrue
    . W# f( d4 t5 s- W7 s* T6 K-1666666666234567890
    ! |# x4 [( R9 _4 R+ _9 ntrue- X+ f3 x$ X" l8 g) p
    -1666666666234567890* Z4 Z% m  M# e
    true& p4 _4 y) x2 E! H' {9 r
    [ -1666666666234567890 ]; |+ i, z4 m" ]$ Q
    [ -1/14 ]
    / T, m4 I+ M8 }5 n* T% A
    ( d3 W- U1 O# Y, \" @) B
    8 s" ^& _) t5 b; V1 I& p% [, X2 _4 M! H; F8 ]. |4 g

    7 v; j, T, _- Y, o: C' j; ?
    & H5 V! z2 Z% [7 ]4 N$ _# \7 ]# L5 z
    0 b' r1 f& i% O5 V& c( P  Y( @! B+ t% E# k5 h3 q
    -16666666662345678901 {3 t, ^3 u/ n$ t+ J8 w; j
    -1666666666234567890
    9 {5 M% I4 J. W+ p  O" Ktrue& B8 Y; A; T' k: y, V4 m& G) x
    -1666666666234567890' a/ q5 l2 a; a3 E
    true
    4 _/ x9 P  X' b! G-1666666666234567890
    , L- P5 U1 H8 R- Q" Y# ?/ }6 n- ]true
    ( e8 p% }2 M; \8 q# j-1666666666234567890
    9 B4 r8 a( V3 b6 otrue0 ]* ~# i1 d0 d& @1 D2 g
    [ -1666666666234567890 ]
    9 K" W' g8 L9 c% ]) {) p[ -1/14 ]
      y% D, h6 O$ U0 ?( p2 A3 F; q* z2 U1 @3 g- j5 `% v4 h6 H
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信

    15

    主题

    4

    听众

    113

    积分

    升级  6.5%

  • TA的每日心情
    开心
    2012-1-13 11:49
  • 签到天数: 9 天

    [LV.3]偶尔看看II

    Z:=IntegerRing() ;Z;   
    + O+ X/ [9 m7 W* b  ]5 q7 K& @# E" p. U4 RI12:=ideal< Z | 13 >;& _; _3 R& K* n4 X/ W, h
    I12;
    2 I; X% ?0 Q+ qZZ:=IntegerRing(60) ;ZZ;   6 N# n$ n6 v1 C
    IZZ15:=ideal< ZZ | 31 >;7 y7 u2 h" {" `# u5 U9 C3 y
    IZZ15;
    / d1 Q, A) ?) X$ u9 NResidueClassField(I12);
    ' p; ^- u$ [/ j2 B6 P8 V# h* L( l7 NResidueClassField(IZZ15);环和极大理想的商构成域---剩余类域,剩余类环中的素数都是极大理想
    ) Y& s( B7 I2 ?3 I
    loc< Z | 19> ;
    ( N* D7 V3 P" [: z$ p9 @2 Aloc< Z | 17> ;) a4 o) t% E) o
    loc< Z | 131> ;局部化:一个素理想到原环元素的映射
    + F* t0 y9 ]4 o4 f
    ext< Z | > ;超越扩张到一元多项式
    9 _& v9 ~3 V) y# \ext< ZZ | > ;
    / N8 S, W! c" z3 N* W0 ]# s% R7 h" n3 W/ I7 \3 }$ o- p3 l8 X
    ext< Z, 2 | > ;超越扩张到多元多项式5 R8 v" k, q, h' B! F

    4 e" v4 Q* f/ _- E- y2 wext< Z, 3 | >
    Completion(Z, I12) ;
    6 a( W# l4 y& h5 p; ^
    ) }! O! _" ?) V3 ^! n& L$ d' o0 }4 E0 f" e; |! D! b5 e
    comp<Z |I12  >;
    * m! t# \& r. t) m/ ]& f    素理想零理想完备化,和P进环联系起来 ; d" b( V* u4 t* \: ~
    Completion(Z, 0) ;2 w' _5 j. x& Q( p, f6 @( F' ^, A. W% |
    comp<Z |0  >;
    & l& C/ U* T0 R) @8 H$ j/ x2 l9 B- O1 @) @
    Integer Ring
    ! }8 d7 K$ |5 m- k+ fIdeal of Integer Ring generated by 13
    - L6 j$ J  ?( j; VResidue class ring of integers modulo 609 ^3 n" U9 Q* u
    Residue class ring of integers modulo 60
    8 h9 O6 X  K) Z3 r% S- J8 P, ~7 jFinite field of size 13
    $ u9 H* {" L' i  kMapping from: RngInt: Z to GF(13)& v: U3 D4 _9 v. J
    modulo 13
    + o7 F( ~! e& K0 O" I& [" e$ n2 I' N9 C3 t6 f
    >> ResidueClassField(IZZ15);8 J7 D8 `; z. {! E
                        ^; Q* N& V3 @8 k8 {4 Z
    Runtime error in 'ResidueClassField': Bad argument types/ J' p* U" r% J8 c$ ^: S7 M0 q6 l
    Argument types given: RngIntRes1 M4 U9 V; q# P# Y

    % P0 Q# ?! f" D8 N3 }, W( w) ?Valuation ring of Rational Field with generator 19" u5 T6 P( p$ U" Z6 P
    Mapping from: RngInt: Z to Valuation ring of Rational Field with generator 19
    / i, Y0 f0 R8 T) }: x" r4 u2 nValuation ring of Rational Field with generator 17
      K$ X9 S; ]! y+ l$ T7 I# fMapping from: RngInt: Z to Valuation ring of Rational Field with generator 178 f  n0 P1 q# N8 T
    Valuation ring of Rational Field with generator 131
    8 {& U' L5 V% zMapping from: RngInt: Z to Valuation ring of Rational Field with generator 1315 m* G4 n* r' W4 |3 e& l- i
    Univariate Polynomial Ring over Integer Ring
    ' T5 F' j. j8 U! ^4 GUnivariate Polynomial Ring over IntegerRing(60)
    5 a2 |' e# }1 ~9 c: ^
    # x1 c% B( Z& n) P# i! |! `>> ext< Z, 2 | > ;: e0 q9 ^% \: L
          ^
    4 Z1 I2 a1 D( ARuntime error: This constructer is no longer supported
    1 @" z. m$ |" A; q* H
    . T! r# R* B+ j) i) e" V0 B8 R& d& g) K
    >> ext< Z, 3 | >
    7 Z" m5 T! p$ [7 p      ^
    4 }6 \4 a; ^* ~; j6 u1 {9 R9 KRuntime error: This constructer is no longer supported
    1 S6 N0 _/ z  T9 u/ D( r4 r
    ; u, ?; X+ A  [, u13-adic ring7 y" u/ F& a& }# k' D. I* x8 z* x$ y
    Mapping from: RngInt: Z to pAdicRing(13)# F) v( O4 f9 H3 ?3 f" `' {) i1 p1 P
    , F$ s% E3 R4 E# P6 P4 ^! {# o
    Completion(" S, [5 o/ t* `2 ?$ h8 [' |  z
        Z: Integer Ring,
    * M- n/ s! d/ y; |" [0 Z0 T" J    P: Ideal of Integer Ring generated by 0( t+ |* l5 A+ |
    回复

    使用道具 举报

    15

    主题

    4

    听众

    113

    积分

    升级  6.5%

  • TA的每日心情
    开心
    2012-1-13 11:49
  • 签到天数: 9 天

    [LV.3]偶尔看看II

    本帖最后由 lilianjie1 于 2012-1-11 15:56 编辑
    * b3 S! a! ~/ z9 u6 {* \* _1 V
    " g# h$ [. u( @0 M3 nZ:=IntegerRing() ;Z;   ; g6 G. A) `* c8 l& @, w9 [$ W
    I12:=ideal< Z | 12 >;
    : Q8 Y- H4 S* PI12;
    + p  D/ ?) ^' t3 PZZ:=IntegerRing(15) ;ZZ;   
    8 a! z  H+ K7 jIZZ15:=ideal< Z | 15 >;
    4 M% F$ c& F6 I0 ?: L% S" dIZZ15;9 A. d$ {# R. Y6 }
    I12 eq IZZ15;
    + j# V' c9 G5 }8 T4 h" sQ1:=quo< Z | 12 >;Q1;
      A9 n3 {1 K, s; M5 aZZZ:=IntegerRing(5) ;ZZ;   
    + ~( l4 s. T6 }& x% i3 Q5 c! uIZZZ5:=ideal< Z | 5 >;) V! n  R) X, }" w; l! C
    IZZZ5;
    9 b' b' ~2 M: S5 D7 U* G
    : h# B+ w" o  Y: e) b( u7 b9 }I12 *  IZZ15;            理想和/积/并/交,
    , E4 R: j9 Q( @# k' Q- U" X1 Q) W理想和是理想对应两(可多个)元素加,
    + N" j* b5 b6 _# u, e3 N3 q  I3 Z理想积是两理想(可多个)对应元素积,* F( x/ L3 c6 E5 e/ K4 L
    理想并就两(可多个)理想元素并,就不一定还是理想,+ s' j; Q1 I, e: L' p! J
    理想交是理想(可多个)元素交,理想交一定还是理想,) l4 y. R! T3 N& r! F8 I
    0 n. ]1 D, G8 ~; [0 N  }4 n
    理想积是理想交的真子集,极大理想交是理想------J根
    : q8 ?  [$ N" \3 _' P+ f. \% g
    理想商就理想间同态:是必须能整除
    - E- u: b+ v% yI12 +  IZZ15;
    5 ]" `2 j% }/ C* ]; CI12 meet  IZZ15;5 w+ M6 v) Z1 z8 H2 \7 n

    ( K% D' X3 L7 Q- V* O) h5 {I12 * IZZZ5;
    6 T* w3 S4 q' r. @3 Q% tI12 + IZZZ5;
    * R* Z& Q$ s1 K" c( jI12 meet IZZZ5;
    ' B! H/ J! f8 ?8 b& A1 t/ II12 / IZZZ5;( M1 ~/ _: V: L% R! ~) p
    IZZZ5/ I12 ;1 ^+ {; t: ]: ~+ u
    Z * IZZZ5;
    ( @  p& X' O( CI12 + IZZZ5;
    1 u  q5 z9 J2 R5 W  j" B6 S9 y9 w  IIZZ15 meet IZZZ5;3 e3 r8 }" K" q
    IZZ15 / IZZZ5;
    Z meet IZZZ5;, x$ z- ], f' ~% `! L
    I12 meet IZZZ5;
    $ y9 R$ f& g1 j& G5 bIZZ15 meet IZZZ5;
    3 x& F" g, e+ D! f8 ~5 p* [; ]# c$ KIZZ15 / IZZZ5;
    2 i9 p7 [3 @4 t! Q& O* X
    ! a0 s9 X4 C7 `. n; A% ]0 CI12  subset  IZZZ5;运算后的各种理想互相是否包含IZZ15  subset   IZZZ5;3 X$ O  N, w6 D( w+ I
    IZZ15 subset IZZZ5;4 n3 V. n; L+ d: L
    IZZZ5 subset IZZ15;
    / @8 \, S6 K' D7 M, q
    Integer Ring
    # z# n" Y* \- R7 D. z2 n! uIdeal of Integer Ring generated by 12
    0 t0 g( N8 e& `$ ?' oResidue class ring of integers modulo 15
    7 f8 Y1 J' g5 h$ x4 V1 b6 J9 @. DIdeal of Integer Ring generated by 15# e/ C; I4 v2 b: ^8 `
    false
    6 _% |4 B( z) j# i' _Residue class ring of integers modulo 12
    % b0 H* T# s, o( ]1 M  {5 _, r7 X+ _Residue class ring of integers modulo 15
    9 Y" |0 z) \6 N% hIdeal of Integer Ring generated by 56 N. e) x! z; @) \- w& g# \
    Ideal of Integer Ring generated by 180
    ; s5 E- a- P( X: P0 {3 L: |Ideal of Integer Ring generated by 3! U! g% e7 T2 t
    Ideal of Integer Ring generated by 602 {2 u3 S% @& n
    Ideal of Integer Ring generated by 60+ J- c& j! E( z& A2 W; F
    Integer Ring
    7 l  q' o9 r, W  r. @- j( i+ `Ideal of Integer Ring generated by 602 e0 s/ {) r7 S/ j2 t  N3 `9 j

    ; ^% c2 y5 @7 o* y2 e, L" H>> I12 / IZZZ5;
    / y* i0 i; u$ T" E' p- `       ^" Y# F1 X8 [' S5 T
    Runtime error in '/': Argument 2 must divide argument 1.# x8 E+ s" n0 ^3 O; z' T! ]

    , u; P" x# h" p7 O; n9 L' I/ B% y6 v7 d: c& K
    >> IZZZ5/ I12 ;
    ! ]( Y8 G( s$ }& F        ^
    * D( k1 w/ ~3 y8 O) y7 DRuntime error in '/': Argument 2 must divide argument 1.1 Z9 v! ~* T) [5 H4 k
      {9 J3 L, X0 I  k. j2 k% }
    Ideal of Integer Ring generated by 5! v: t6 P5 q1 a) O
    Integer Ring) I% R9 b1 b/ N! M- m: D- T3 h
    Ideal of Integer Ring generated by 15
    * y$ x0 t( b9 t" K! Z" c3 z; NIdeal of Integer Ring generated by 3
    " ~& o- H9 d: V9 B5 VMapping from: Ideal of Integer Ring generated by 3 to RngInt: Z$ W$ |& s" G1 _6 k
    Ideal of Integer Ring generated by 5
    8 m) M0 ?/ D, ]3 u& q3 pIdeal of Integer Ring generated by 60- p* A3 Z2 O9 d: |
    Ideal of Integer Ring generated by 15/ [' ?6 t$ B8 L9 T3 ~
    Ideal of Integer Ring generated by 3
    & W% i% g+ N2 D" x% W, h% C7 U( rMapping from: Ideal of Integer Ring generated by 3 to RngInt: Z
    " h* o( Y$ _# G1 q
    7 Y: I2 z! f6 k, r3 K4 |false
    ( u8 T: E; F* A+ ^# V7 R0 H0 i% s! Wtrue5 d  B' A6 c5 t' ?0 f
    true
    * |0 N4 F& s8 @8 q1 h* B6 f. afalse
    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

  • TA的每日心情
    开心
    2012-1-13 11:05
  • 签到天数: 15 天

    [LV.4]偶尔看看III

    本帖最后由 lilianjie 于 2012-1-11 14:25 编辑 ' m* k- `3 c: c9 w' H2 e
    # Q/ f' @5 k/ ^
    Z:=IntegerRing() ;Z;   . h( ], D' ^, g! s1 W' v

    + a& D0 E* {: {7 @4 \. R( S) s7 BR:=IntegerRing(12) ;R;   7 ]. H+ F. W6 ~
    S:=IntegerRing(13) ;S;   1 x3 T% F: r: ~# B. v$ w9 I
    * C# y' R0 A* O% r, Q$ ^, O
    $ `7 k7 _: I- Z
    PrimeRing(R) ;
    1 o6 F/ S: @+ |7 m: v, pCentre(R) ;
    9 Y% D  U% w+ Q0 `3 I! {3 @& s) J& A8 G* V# ]5 l5 b
    Characteristic(R) ;: [7 n) g7 d1 [! k
    # R ;阶----元素数
    1 I. T2 R* @) i3 ~( _7 A4 HIsPID(R) ;非素数不是整环不是极大理想整环,但都有极大理想公因IsDomain(R) ;
    " V: \& {$ V7 p6 l' R1 V, J" M4 QHas**(R) ;
    . l; g) l+ r3 j1 e: t/ {/ z5 l
    4 L1 m$ |: f7 zIsPID(S) ;
    0 q0 |0 ]& \7 ]/ H, O8 QIsDomain(S) ;5 L3 u* ~, k9 C% x! ~; A" e
    Has**(S) ;
      ?+ T! h/ Y4 N: O, oR eq S ;7 h( O8 F5 V4 a" D
    R ne S ;" K8 y# E1 l8 l8 \

    3 c, _- U( f1 O2 `' @5 M& J- s4 T) @Parent(R!123) arent(S!123) ;
    4 U# a1 `; O  U$ Z! _. }Category(R!234) ;Category(S!234) ;  t$ Q6 }  r" y$ K; P4 |

    0 i  L. n: w# O0 e+ Wa:=Random(R) ;a;b:=Random(S) ;b;
    ; U: n+ f: f" L; O0 i3 V/ RRepresentative(R) ;
    6 b3 I5 D; \1 C. B% A: Y. IRepresentative(S) ;
    & _) Y. w( U0 v& ^! v
    - N7 s5 I( ~- ?& u# O(R!a) in R ;
    0 {& }' U: E0 c- B(S!b) notin S ;
    6 A* W5 v) U  t5 N$ I5 ^IsUnit(a) ;                是单位吗/ a6 A- i) D* G; k  Y; O
    IsIdempotent(a) ;是幂等元吗
    : J" n% t3 a. y1 S* gIsNilpotent(b) ;是幂零元吗. H+ c$ e% H) L8 L/ Z# O6 {1 A
    IsZeroDivisor(a) ;可除零吗' |3 @8 y3 T7 h) T5 V" C) q7 n5 D  C
    IsIrreducible(Z!b) ; 可约吗
    IsPrime(Z!a) ;
    3 b& j+ y' S0 \0 {  M1 ^& T* N" D4 e
    Z!a gt Z!b ;" ^( b; g5 F6 D4 I3 N4 d8 [
    Z!a ge Z!b ;& z* s  D& ^; D1 d1 q. N3 O
    Z!a lt Z!b ;6 H" B0 |7 i% f3 d. ?
    Z!a le Z!b ;只有同类环才可比较元素大小,
    Maximum(Z!a, Z!b) ;0 e) i, y. `# \0 _  k
    Minimum(Z) ;3 ?5 }6 R5 V& ?7 Z9 O7 B
    / w) V( ]0 e  l$ u) u
    Maximum(S) ;. [( D1 m/ P4 m+ s( s' ]" s& |
    Minimum(Z!a, Z!b) ;
    ( n& W/ d3 p: {/ T3 u1 w. f1 TMinimum(R) ;4 R9 f, v' T: ^+ N: C% P( |* F

    1 W1 f- R6 l: U) R" u: I- W0 g: {2 n* [3 I3 ~
    5 [2 {& ?6 S1 `0 B% s+ {
    Integer Ring
    9 F5 R( t4 v3 M& fResidue class ring of integers modulo 12
    ' c, k$ b4 H3 ]! R! `( g0 cResidue class ring of integers modulo 13
    4 j( E* ]( R8 O* Y  U' {7 rResidue class ring of integers modulo 12
    ( A" [% r. x0 I% y+ wResidue class ring of integers modulo 12
      g& B0 X# G. K7 N& }% h1 p12
    8 p9 C; b6 g' u9 Z, s126 q; E+ h9 X) d: m  }5 Q# M0 w
    false* o2 ]" F8 D! Q& ?
    false  z9 |5 f, q4 L) y1 _$ C7 o
    true
    5 @9 l6 v5 o3 U" I: etrue
    ' ^; y0 k9 y3 p) ptrue7 @/ z: |+ U- e9 `# [9 O+ m# y
    true/ _, L, C1 E0 P
    false  {* Q6 T( i, ~, h$ I+ g
    true
    # @& z6 O! t  {: O+ A/ z" ~  fResidue class ring of integers modulo 12
    $ Y1 d3 X9 q) F$ T& DResidue class ring of integers modulo 13
    / U* S# k  _/ }, b* JRngIntResElt/ D' P* }* }9 P& u! H: t
    RngIntResElt
    ! ?4 ?) t0 K& E3 B9) `! w5 K5 X8 W! \# y: R5 |
    12
    , }, C! g7 x, `& P0; ~1 Z4 \1 a3 a' p5 k+ `& M" ~4 S
    0
    3 \) l0 z1 G4 K# Wtrue
    / ~! d( a0 P0 i5 |9 Bfalse
    ' p5 |( [% E$ {5 V1 I3 g: Zfalse
    " L! A( l; `' p1 m6 f* mtrue
    1 e2 d0 I. g$ `; G0 T- n! T; S. n$ c! jfalse
    0 e6 `! L- h( Gtrue& Y) x, [; H* C
    false" V6 W" q5 Y6 ]( Y8 S8 p0 z& v+ j
    false
    - V5 G9 F6 Q3 s4 j/ hfalse
    & K3 \$ o1 n% k2 w; Y! l4 e( N, F# nfalse2 E0 a: F% i; P
    true0 T, f& }" Z% d( }$ [* U
    true2 X+ y7 F2 S# P+ H: C
    127 p0 B; I3 H" F' \' R6 \& B# Z
    1
    3 t8 E; I- C6 }( N5 X* Z
    1 f3 k: |  o5 A>> Maximum(S) ;) F" N! ]6 k8 q
              ^
    9 O: p9 h( ^1 R  d. B$ W5 A( T3 ^Runtime error in 'Maximum': Bad argument types
    9 k& c: e' ~# A/ RArgument types given: RngIntRes/ o0 M1 ?4 Q2 j1 y" a9 Y

    : C9 F5 J! |! e3 Q6 ^9 t- c5 d9
    + I8 ~" E8 @# q# f' u  G) _9 x" w5 c2 \3 I
    >> Minimum(R) ;2 a. c& \0 O3 \; ^
              ^9 K4 m- ?' a# _3 q  C3 Z
    Runtime error in 'Minimum': Bad argument types
      h( \- w# \! \( w+ u5 s7 CArgument types given: RngIntRes
    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

  • TA的每日心情
    开心
    2012-1-13 11:05
  • 签到天数: 15 天

    [LV.4]偶尔看看III

    Z:=IntegerRing(12) ;Z;   " G* M, A$ Y! w) q2 l+ G- y- l6 R9 N* a$ x
    UnitGroup(Z);
    8 P' Z) c$ y3 v" n' A5 t* q0 UMultiplicativeGroup(Z);% {6 D; P& a& ?& B! u
    Category(Z) ;
    5 \) }: ?4 W8 x! E% s! n) jPrimeRing(Z);  ^# |5 v) B; ~" \
    AdditiveGroup(Z) ;" m+ z6 ~2 p4 m! d- z1 R2 L

      U3 }- ^1 X- E# f7 `; }Z:=IntegerRing(13) ;Z;   % F# s9 Y' s' ?5 |% e! p2 {9 p9 i3 F
    UnitGroup(Z);; G% i% h: [* Q9 T8 C  `& k% A
    MultiplicativeGroup(Z);
    % V* ~$ w! m  c" d; H4 ?! k: J; E" jCategory(Z) ;
    & Y0 x7 D* D) Q& d5 b) m8 H9 G% UPrimeRing(Z);, J1 ?1 Q& y1 o7 Z- `1 q8 P3 y+ @
    AdditiveGroup(Z) ;1 z3 D, o4 f* R6 j. L) \1 N3 S1 W, _* U
    - {  T/ B1 K- }2 J
    ! J9 N7 X2 N1 D3 z

    ; Q4 K) m) I/ pResidue class ring of integers modulo 127 B1 B3 C, \0 f0 N+ b9 ?0 x! x
    Abelian Group isomorphic to Z/2 + Z/22 _  Q# u8 u* ]" K
    Defined on 2 generators3 L9 q9 v6 l0 p
    Relations:+ Y$ d7 v! E4 j5 z8 |5 Z7 X' K
        2*$.1 = 09 Z7 H2 r9 N0 V" o. S8 z; h: M
        2*$.2 = 0. Y! g' X; J, b# N* e
    Abelian Group isomorphic to Z/2 + Z/2非素数环的乘群同构两个小群的直积(1*11    5*7)Defined on 2 generators
    7 t5 ^" Y. s& E8 f6 G2 ^Relations:
        2*$.1 = 0/ ~) D4 Q: {, M& k. A4 f
        2*$.2 = 0
    7 ]) P5 B, n4 k1 jRngIntRes
    6 l0 _8 t: {, |, IResidue class ring of integers modulo 12
    ' Z9 P9 z) O: g2 J# l1 WAbelian Group isomorphic to Z/126 V0 P1 ~9 m; {/ y9 I4 B6 P1 h. }0 e: r
    Defined on 1 generator
    $ ~" A6 U+ L: M9 }" h% hRelations:% Q2 s( L2 C4 V) L) |6 w! P+ B+ b* ~
        12*$.1 = 0
    ' p' y9 _) ]! S5 x4 B' zResidue class ring of integers modulo 13
    + O9 w2 C" K5 J- F0 d! y$ o! \0 aAbelian Group isomorphic to Z/12
    # u* W. ]. z) ]% nDefined on 1 generator, S1 q7 D" l6 @: w8 g/ U+ U
    Relations:" g5 r5 H. s3 {" m  i
        12*$.1 = 0, [  O( O7 {& j& C- s, f
    Abelian Group isomorphic to Z/12     素数环的乘群同构Z13-1=Z12Defined on 1 generator' L. }  x( X" x0 @8 r
    Relations:6 l3 n, Z+ V1 p$ d3 o) H. m. y+ q" X
        12*$.1 = 0
    7 ~9 c0 V5 E/ _/ H: cRngIntRes. b% s7 J2 N) m1 C$ Y
    Residue class ring of integers modulo 13; C+ x) s8 Z: t; U& I: W/ u
    Abelian Group isomorphic to Z/13
    . S2 P3 g! T4 D5 P% g5 M( uDefined on 1 generator  K! I& n* o3 _, z' l8 m
    Relations:% l  w2 V8 l" E2 n( X& y* Z# O
        13*$.1 = 0
    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

  • TA的每日心情
    开心
    2012-1-13 11:05
  • 签到天数: 15 天

    [LV.4]偶尔看看III

    本帖最后由 lilianjie 于 2012-1-11 13:31 编辑
    + L' K  |6 g2 e( C3 c$ @6 {4 `1 D& z+ \) P6 v8 K
    Z:=IntegerRing(5) ;Z;           模5等价类环n := 1666666666234567890;3 f& P6 L. ?6 ]2 N' v2 y
    > n;
    ( N3 G# Z- M* i0 z* [$ d: Jn1:=Z!1111111111111111111111;n1;
    % C' c+ ?% F) y+ ^n2:=Z!11333331111111111111111;n2;
    7 M+ @+ k0 X- r5 Y% y) V/ X- D0 M0 T8 @* Q
    - z; R: f# [  y/ Y
    K:=Z!n1+Z!n2;K;( T. v5 g" O# o  @9 h) a/ E+ ~

    . K3 `; y6 b2 B2 X- o4 i/ B! rIsField(Z);      是域吗Characteristic(Z);环特征
    : ^  e) q; ^$ y0 oIsFinite(Z);有限环吗% c3 D: ^/ t* k! U4 {6 j# N0 f
    IsCommutative(Z);可换吗
    ; X! z+ e) z3 Z6 ?$ Q4 v
    IsOrdered(Z);有序吗-------应有不过这函数没有这功能IsEuclideanDomain(Z);欧整环吗------欧环还有非整的。。。。
    2 d' r! w0 u; \/ b* J1 f3 c2 IIsPID(Z) ;主理想整环吗
    / u& I' j9 Q% R9 i0 Y2 j) A% D  G, Z; }; f6 d( x
    IsUFD(Z) ;唯一分解吗
    3 `4 ?, p- C6 J5 M& `/ Q! r0 N( MIsDivisionRing(Z) ;除环吗
    ; a: N$ D7 z- fIsEuclideanRing(Z) ;欧环吗; U0 E& ~! \0 i# G  |& }
    IsPrincipalIdealRing(Z) ;主理想整环吗
    ! h7 E$ C" V! z8 h* [: J0 G5 t6 WIsDomain(Z) ;整环吗
    FieldOfFractions(Z);分式域
    ' B1 @2 w5 y7 OUnitGroup(Z);单位群
    % [; Z) u4 O" q$ w8 |; VMultiplicativeGroup(Z);乘群

      t! X( O: w0 ?: ?1 _( }9 f6 f/ rCategory(Z) ;范畴Parent(Z) ;父环
    ; ^* [5 H3 f( ]# ~PrimeRing(Z);素环单环和本原环不同Center(Z) ;中心: s4 n+ v; [  ~& d7 V
    AdditiveGroup(Z) ;加群-----就第行一特点ClassGroup(Z) ;类群----------只有Z才有------难懂理想类群更难懂; p( i; h0 j8 I/ M/ x
    4 {+ B7 C, d! H" o9 i3 a
    ZZ:=IntegerRing() ;ZZ;
    - I' T8 N  @) d' j) U) Q5 X% HClassGroup(ZZ) ;

    + d9 Z1 ?( O. z! [5 a3 v2 Q+ B; v$ a# C
    ===========
    + ]6 _* d' n% c% o9 D& J* O) N$ J7 E# t% [* \
    Residue class ring of integers modulo 5& `# z# k7 p! C+ \' v5 H
    1666666666234567890
    8 j2 l3 K5 L/ U0 E. a4 x% X1
    . x! \5 c) q! j; v. Q7 e( Y, g1
    ' s% |2 p' N$ S  j+ L* ~2
    1 q0 z. k) N8 J% k6 `2 I% ^true
    0 M# `  g' i- S8 y1 x1 `5
    8 L) m! s- r$ l( }0 }! x# y/ Vtrue 5
    " D7 Q6 a1 e# O, T5 ]  X! h* R- ztrue; O& s  K$ Y& a+ d5 [2 Y$ l; x
    false$ X( s& a8 _7 F6 \! T) X4 y
    true
    9 s8 L) {( U# s9 I6 _( [" Ztrue0 K) |  {: }; n, \( g0 H! {
    true
    . m& l+ _3 ^# {+ R! R9 D1 itrue3 |/ E; w- a2 w3 U
    true. `* N2 g# A# q4 S  T9 q
    true
    4 H4 z6 a5 b5 s+ Y: _% }true! H4 ~- o  d6 R" r* x
    Residue class ring of integers modulo 55 _3 l( d: A" T- C; Y+ x
    Abelian Group isomorphic to Z/4
    1 \/ D: @. ?/ H0 u, ~/ |; [Defined on 1 generator" }7 m) H0 V& ?" ^, F# d1 h
    Relations:( v. o$ A5 S# w- I4 N4 \
        4*$.1 = 0
      z9 y3 |7 }3 A& M* EAbelian Group isomorphic to Z/4: m" ~) f/ o4 t: @4 q/ f
    Defined on 1 generator
    ( T6 G0 R2 Y& O3 ?* ]2 ]Relations:
    * Q  E  z$ L5 z% o6 M9 @& m2 t* a    4*$.1 = 0$ o& u4 J: A1 b% C+ l
    RngIntRes  K9 }" x3 r% Y7 X8 {
    Power Structure of RngIntRes
    ) R% K8 P2 d( G& kResidue class ring of integers modulo 57 L$ o9 o! P: ^
    Residue class ring of integers modulo 5
    . S, N# q( w$ }9 JAbelian Group isomorphic to Z/5* D3 z4 ^6 D) Q
    Defined on 1 generator8 L3 g# O! o$ }
    Relations:9 K$ }/ R0 z" Z& F, a
        5*$.1 = 0- O5 F3 i; j% |% R! `8 ?% U( t
      ]% |9 }3 n" J; E& g
    >> ClassGroup(Z) ;7 O+ J3 B/ C# o
                 ^
    5 ]5 s+ c0 d( J) G  tRuntime error in 'ClassGroup': Bad argument types
    , {- W, M9 a3 t( e, W2 gArgument types given: RngIntRes
    7 N$ u* Q+ Z; z. @* x: S# O3 w; t/ I# D7 U, `
    Integer Ring
      f# F2 T4 m$ R. ]  Y2 E: j7 FAbelian Group of order 1
    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

  • TA的每日心情
    开心
    2012-1-13 11:05
  • 签到天数: 15 天

    [LV.4]偶尔看看III

    ss:=12345678111;ss;% W: u/ K) a; u9 U3 P
    s:=0x12345678111;ss;
    2 S4 A: J9 |% D9 C( E. w8 `7 F* [
    ) b4 P8 X. _, |; i4 Isss:=Factorization(ss);sss;$ A7 s1 `4 l& D2 ]
    sss1:=Factorisation(s);sss1;* p5 S. J6 `, ]3 N. j! B% ]
    FactorizationToInteger(sss);
    5 A: i% `: N4 X& N8 @3 ]1 {) DFactorisationToInteger(sss1) ;
    3 }! o$ c+ ]# xFacint(sss1);因子分解和还原
    ssss:=Intseq(ss, 2);ssss;& u9 a2 `8 A# C0 E( r9 X
    SequenceToInteger(ssss, 2);
    + L' V! B+ C! b5 Y2 yssss:=Intseq(ss, 17);ssss;) P9 H% g( k* a9 m) V0 Z, O1 k% B
    SequenceToInteger(ssss, 17);$ f5 I( Y2 K4 u! B# c
    ssss1:=Intseq(s, 17);ssss1;
    1 ^$ p0 m/ g* I) Q8 t8 o) WSequenceToInteger(ssss1, 17);转成2和17进制
    0 [* X) O# H- W/ O, m

    2 q  L5 y4 g( e" A; D12345678111, P& ^" s7 I& u
    12345678111
    3 k: w4 a$ u; f- d$ a4 j[ <3, 1>, <13, 1>, <31, 1>, <1447, 1>, <7057, 1> ]4 v: b8 ^6 H; J
    [ <3, 1>, <83, 1>, <34129, 1>, <147209, 1> ]
      V  ~! ]  L: P+ \4 _  N12345678111+ ]' S2 l, d  `/ H  r0 m
    1250999894289
    $ L6 X  h) A6 J+ B12509998942893 S; ^! ?# |9 T& _; |! W
    [ 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, 4 X9 _4 i3 ]' z& u, C' F
    1, 1, 1, 0, 1, 1, 0, 1 ]
    0 {* Q3 P3 \/ ^12345678111
    9 X7 f+ b8 t, r0 H  F+ O* Q[ 8, 6, 6, 4, 0, 8, 1, 13, 1 ]& v  o3 R. r# r- A- C+ F
    12345678111$ p4 o4 ]# J4 d( |5 b
    [ 14, 6, 7, 11, 9, 15, 11, 5, 9, 10 ]
    8 U# u, a$ p: ^1250999894289
    回复

    使用道具 举报

    74

    主题

    6

    听众

    3299

    积分

    升级  43.3%

  • TA的每日心情
    无聊
    2015-9-4 00:52
  • 签到天数: 374 天

    [LV.9]以坛为家II

    社区QQ达人 邮箱绑定达人 发帖功臣 最具活力勋章

    群组数学建摸协会

    群组Matlab讨论组

    群组小草的客厅

    群组数学建模

    群组LINGO

    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-4-15 01:11 , Processed in 0.536354 second(s), 88 queries .

    回顶部