QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3333|回复: 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;
    4 X0 R( H$ v, a" M5 f+ b& `n := -1666666666234567890;' d/ Z6 L* y2 [! [
    > n;
    2 b: U" {( h5 `
    $ z& Y- |  J+ W0 n+ W> n:Hex;                           转16* R3 O, O& c6 L& s
    IntegerToString(n, 2);        转2$ _) g& V; [1 w: v8 Q+ l
    IntegerToString(n, 10);       转10
    3 Y4 ~# q* o3 m7 g% f9 LIntegerToString(n, 16);        转16) D$ `$ x( Y/ t
    IntegerToString(n, 36);         转36
    IntegerToString(n) ;7 N0 Y9 P$ H5 C: y- `. g( f
    IntegerToString(-0x17213080A7E55CD2);转串Zero(Z);
    6 q# b; H0 L: }: U  i; MIdentity(Z);                   0 Z! ]% {' W+ L, K1 I
    Representative(Z);         环代表元$ S! p1 A; i/ @5 F. b! P0 D4 O
    Eltseq(n);                        取整1 D2 A3 Y- c7 f% Q* J
    Eltseq(-0x17213080A7E55CD2) ;
    Denominator(n);Denominator(12/13);Denominator(222222/111);
    8 c. G5 T6 Z, J! Z8 g' l! u$ }( ~; w7 k( O$ g9 F' k
    m := elt< Z |  -0x17213080A7E55CD2>;m;         在虚实2次域中进制砖换不变
    ) k1 s, G: d! [; r: vk := Z ! elt< QuadraticField(3) | -1666666666234567890, 0>;
    $ U9 \+ l. U& e* n' x" N9 t; z> k;
    + y" W4 k& x; a; H# P# xn eq k;
    3 V/ t* n) M( G- C: Ukk := Z ! elt< QuadraticField(3) | -0x17213080A7E55CD2, 0>;+ x' o2 O! u4 q
    > kk;% q$ m1 t& S) O; r# A: v
    kk eq k;
    % C' x' w4 B( q/ x
    3 s2 p2 f4 V) o( a1 R4 Yk := Z ! elt< QuadraticField(13) | -1666666666234567890, 0>;, R2 R- W6 j. s% A+ w' n; O  |- O, b
    > k;
    6 @8 L9 @1 g. g/ e9 L) }! _n eq k;* ^6 K2 p: w2 F
    kk := Z ! elt< QuadraticField(13) | -0x17213080A7E55CD2, 0>;, l+ U; q0 l+ r% V
    > kk;
    ' z- G6 j& l. X( wkk eq k;; @9 r" O  i! z* K7 O+ H

    6 e8 N3 Q5 B6 Z# t! ~/ X" y: t7 @7 SEltseq(kk) ;Eltseq(-1/14);
    ! X+ W. x+ i6 ^& Y9 L

    : t' q: f& ^; Y( V3 s. l6 o( t7 C5 o, _! j2 p2 h$ M: U/ D

    9 T9 A% N" X8 U1 k! {4 z' u1 }& i# m( P5 E
    k := Z ! elt< QuadraticField(-3) | -1666666666234567890, 0>;
    ' D4 K) J) S- N> k;- R. o/ s6 {* @* p( M
    n eq k;6 C! n7 V  P: k, A  {$ C: S# q
    kk := Z ! elt< QuadraticField(-3) | -0x17213080A7E55CD2, 0>;1 s6 ~! S! ]# h- y' V6 K- x
    > kk;2 `3 g( {+ {8 `8 C8 c8 K, O; S* Y
    kk eq k;' x7 \( m: b4 }5 N

    2 ?* F1 h/ i# xk := Z ! elt< QuadraticField(-13) | -1666666666234567890, 0>;7 N5 b, d1 |+ K# K
    > k;
    8 z7 Q) l5 L$ C6 g' Y' H% \n eq k;3 Y, h" [- F# _4 t. m" }
    kk := Z ! elt< QuadraticField(-13) | -0x17213080A7E55CD2, 0>;$ D% x* R. m' ~0 q
    > kk;+ U" }; J2 I, i) o* L
    kk eq k;: K1 `: [9 u/ x# s! M# l

    0 Z/ U- j, c/ k7 v' U* z9 G9 R/ jEltseq(kk) ;Eltseq(-1/14);. ^6 a; ?) _/ F1 X( p
    9 m* m6 I+ e: m% v# O" m( K

    1 c' S0 n0 f9 K5 Q  y, E4 I+ p. D, u8 _+ p
    " G# z) q4 ^  t$ H

    $ j" j  B2 t. p' e" k. b& i2 {% l7 b9 y4 y/ M+ L
    ) o. [9 p1 ]. a( o
    ) h# z+ E+ U' P. v, K* C
    ; z% q; W% W0 v

    ; q0 f- ~6 p* d+ J$ l=============1 A" F* b5 x) K# _* Q& W- D

    ( i: C* q' x- ?% I' G5 g: ^& Z0 a, n! B1 Q) i' r" z0 t
    7 ?/ j% q" ]( u& k- I# r8 K

    / G$ `. k/ Z  b) ?4 ?) R8 cInteger Ring1 P- o; D8 Q7 b
    -16666666662345678904 c2 A) T1 n; r9 l7 {
    -0x17213080A7E55CD2" z6 J& @; \% m" K! \# _7 c) U6 e4 n
    -1011100100001001100001000000010100111111001010101110011010010! e, s& s9 S; Y
    -1666666666234567890
    & E/ p- u7 b! e* i* k4 E-17213080A7E55CD2: f* M2 \4 k; ~' v1 U: @4 g" T
    -CNUO0WGPY9CI
    2 S# N5 S+ g! k! y-1666666666234567890
    ( j7 J6 {! H* P) X" F/ B' T; l-1666666666234567890
    : s1 K" F- Y' C0 L- }& @( ]. X0
    $ N6 a0 b+ S, v$ O3 q1
    * a7 m6 A- S2 T4 P! l* X6 k0
    ! m9 z4 H- V# @% ][ -1666666666234567890 ]
    6 c  k+ J/ f& G' |9 q[ -1666666666234567890 ]
    ' r+ u+ H% l/ G) O+ @2 N10 j: l% j, b; @2 z5 c- W1 C4 O
    13
    % P& G6 I7 K0 h; N1
    0 ^4 @1 Y- A$ f0 ~1 B2 ]. ]2 z" b! `7 N9 b5 @# I3 n6 S4 G
    -1666666666234567890
    4 b; F# x# h3 W7 C$ ptrue0 p; F( [3 y, D. H4 F/ V$ P0 G8 \
    -1666666666234567890( o4 f. w. w. b
    true
    6 O5 l0 x* d8 j2 Y-1666666666234567890
    ; \& j# Y$ P, _4 O5 }: q, Y5 Etrue2 M( |% s* }1 ]2 ?6 C* |2 c: N
    -1666666666234567890
    " c* S! C- p; Y4 m5 Ytrue
    , F3 y: K& ]2 w( r  R8 F$ L7 v[ -1666666666234567890 ]
    & G# C% \# c0 p[ -1/14 ]
    ' r4 s4 \6 `9 @1 a$ C; h; J7 e
    ; \' g# h+ V$ U' ~+ U, ^% P  P9 T+ |# Q  S8 C0 l

    : i9 K0 z5 X2 L9 C3 H3 I8 I& U/ m. j+ h4 r$ Z# Q: c8 _
    " a; G& M; K$ \8 _1 @% u
    1 m/ V6 e) [4 O$ p( O& Q6 z* t0 L

    + n( l( Q  B1 L( S; u6 p9 d# o-16666666662345678904 ~* v, W, E" g
    -1666666666234567890
    ( r$ h) q$ _$ i; v" m# w) A7 mtrue9 g2 O7 u; K+ K0 Y( n% X! O
    -1666666666234567890  W& ]) K9 c0 G- Q% j/ K
    true
      \- r" e) m. e-1666666666234567890
    0 T( O+ z) I1 N1 dtrue) n/ F9 P3 h' d1 Z/ j/ l
    -1666666666234567890
    - h7 _. C' h( r8 {* [true( e1 p1 x2 T% U1 x, d* P2 i
    [ -1666666666234567890 ]- e% r6 s! `' U$ C  d4 M" r
    [ -1/14 ]! G# M+ q2 a8 [$ v  B
    ) L0 O" q! C& @2 y
    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;   
    . ^4 u7 ~& v  R/ f$ FI12:=ideal< Z | 13 >;
    $ [) ~0 @# \0 q* F2 V9 dI12;4 n; {( J& H# [( F3 J
    ZZ:=IntegerRing(60) ;ZZ;   
    ) j( V3 a3 e# t' e6 c& D% LIZZ15:=ideal< ZZ | 31 >;
    5 j# g% _9 c' v% }$ |IZZ15;
    2 }( a+ L+ R& {. h. v4 BResidueClassField(I12);  ]  j! Z% a: L4 J3 r5 ]
    ResidueClassField(IZZ15);环和极大理想的商构成域---剩余类域,剩余类环中的素数都是极大理想
    ! s: d, l# V) I7 V. H" \2 h
    loc< Z | 19> ;
    4 Y0 l( d5 u: Bloc< Z | 17> ;- b$ S" H! T4 A, u
    loc< Z | 131> ;局部化:一个素理想到原环元素的映射

    0 b% D7 a2 B6 |" @$ J$ Vext< Z | > ;超越扩张到一元多项式
    0 {. \1 B  N( j9 `ext< ZZ | > ;
    % U: e5 [6 r, t9 D
    $ ~' V* I5 k0 G1 Sext< Z, 2 | > ;超越扩张到多元多项式+ m3 N7 J/ T( n$ K3 m- k" |

    6 k+ ~. V$ \/ d4 ]" L7 x* uext< Z, 3 | >
    Completion(Z, I12) ;7 p: e5 I7 e9 e! j* g  v6 Z" z, ?
    3 F4 M' Y2 v! \# W" V' W

    # z9 C& Z% c2 Y+ vcomp<Z |I12  >;, ^  D2 ]. k6 K
        素理想零理想完备化,和P进环联系起来 # r! F+ w6 a- s( F) r3 }
    Completion(Z, 0) ;6 k+ i% S  a, f: b: @: R% u! M
    comp<Z |0  >;
    * r0 z5 \& J0 ]; w! ~$ V2 _
    5 V7 |3 a; o- X0 kInteger Ring7 Y, H) }/ {& O& [$ S
    Ideal of Integer Ring generated by 13' F+ E/ I4 L1 g) g$ a9 x& E. P
    Residue class ring of integers modulo 60
    $ U- @. }3 `  l7 X) }9 s9 hResidue class ring of integers modulo 60
    8 u+ B; J) M  r3 t! y0 N/ iFinite field of size 13
    7 Q; j8 A. A# R0 S- v! F7 HMapping from: RngInt: Z to GF(13)
    : _2 T, U5 y2 R( K7 emodulo 13
    4 D# w, q6 ^* Q9 H3 i
    # Z2 V6 S8 ~4 h) z7 U>> ResidueClassField(IZZ15);# [) J% D$ S& I3 F
                        ^4 k, a* R0 N- b3 z2 U
    Runtime error in 'ResidueClassField': Bad argument types$ k6 i6 R) T( I4 I0 o$ a
    Argument types given: RngIntRes
    ! e- z8 M4 k- j+ w$ p3 z: Q: O! H. _8 ^/ V
    Valuation ring of Rational Field with generator 19/ k, Z' K! \: |2 q8 t" P* [% u
    Mapping from: RngInt: Z to Valuation ring of Rational Field with generator 19
    + W& c6 |% u3 }1 \* d, `Valuation ring of Rational Field with generator 17
      z  e+ d! Y- F# S# W4 u3 E% A  a& kMapping from: RngInt: Z to Valuation ring of Rational Field with generator 17
    9 Z4 F5 z/ x0 ]6 F0 @7 pValuation ring of Rational Field with generator 131
    ! Y  q8 W# u* E- E  cMapping from: RngInt: Z to Valuation ring of Rational Field with generator 131
    3 e' u7 p7 x; K6 [Univariate Polynomial Ring over Integer Ring6 U/ L* G$ a: @7 r! v
    Univariate Polynomial Ring over IntegerRing(60)
    5 h$ g0 Y+ R- m2 Y$ X6 f" H3 U( V0 f- ~  h# m
    >> ext< Z, 2 | > ;
    ! G6 y, x1 J% ]3 s      ^
    ( d5 z& j1 O" Z$ i2 g- F' t- ORuntime error: This constructer is no longer supported6 g( h  N2 |; P" A% _; t2 W3 Y
    * S- a- a' p( C- S; {: c! n* S/ C* i
    ) M# Z. {- |  O3 U
    >> ext< Z, 3 | >
    4 @9 |: v, B5 l, A4 m. n      ^0 S8 O* p7 q4 s
    Runtime error: This constructer is no longer supported
    # u" Z5 f  I, o) R" f( [% g
    % a' n- O" P3 r8 Q$ E; k' f) Z# f- |13-adic ring
    5 J* f3 V% ^0 L9 u9 pMapping from: RngInt: Z to pAdicRing(13)( h- ~# J; e" v, A/ c, |

    2 c4 L" d9 B( n/ I, B. ~* FCompletion(, C: @& Z, ~- X& y
        Z: Integer Ring,+ \, x4 t# |) O& R+ n# B) ]
        P: Ideal of Integer Ring generated by 08 @& z+ {" ]0 A" M$ h- o' k; X0 B
    回复

    使用道具 举报

    15

    主题

    4

    听众

    113

    积分

    升级  6.5%

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

    [LV.3]偶尔看看II

    本帖最后由 lilianjie1 于 2012-1-11 15:56 编辑 ' K& V5 Q/ o7 H# [/ H& r1 D
    : z. f) R, S! L' Y* S5 x
    Z:=IntegerRing() ;Z;   8 c5 x0 L! [" @+ Q. R7 L$ q; H- K; s
    I12:=ideal< Z | 12 >;
    : w9 M4 J$ A% v: c8 rI12;
    9 {; Y& ?' a( ]( r. g; b$ D' B+ c% KZZ:=IntegerRing(15) ;ZZ;   & N& t  t% T+ K: `
    IZZ15:=ideal< Z | 15 >;
    6 A7 B( m: G$ r5 ?, _! Z3 b0 lIZZ15;2 C1 l. |- O% \4 s5 ~5 g* n
    I12 eq IZZ15;
    4 K. z* d( O1 U* j" }( p  I% LQ1:=quo< Z | 12 >;Q1;
    9 C8 D! W1 p# C5 ~8 Y. v- M0 ~ZZZ:=IntegerRing(5) ;ZZ;   
    % L* i5 V- q+ I5 XIZZZ5:=ideal< Z | 5 >;) D. b# T6 \. T+ l8 [4 c7 e
    IZZZ5;
    . s, y: M/ V- e* l5 C. S4 e" N, w1 }) \1 e- q" ]& O- F% K
    I12 *  IZZ15;            理想和/积/并/交,6 B* `/ y% t+ n5 q, H3 [: k, w3 n4 R
    理想和是理想对应两(可多个)元素加,
    # k- D7 T) R; B. }8 Q理想积是两理想(可多个)对应元素积,
    9 H# Y( e2 S! O, E( ~4 W9 w9 e3 ~理想并就两(可多个)理想元素并,就不一定还是理想,
    ' T# i: P+ R! L" a! c0 y7 ~. B+ z理想交是理想(可多个)元素交,理想交一定还是理想,
    , R/ }, I9 Q. N- D
    1 y8 s2 s- o5 y- J2 C理想积是理想交的真子集,极大理想交是理想------J根
    + w' H4 w3 s& W: A3 X* D
    理想商就理想间同态:是必须能整除
    0 f3 f( o! H$ L, O( ]* F: Z$ kI12 +  IZZ15;7 R- }2 o1 ?" }0 Z5 F& W- v
    I12 meet  IZZ15;
    + v& r, k) [+ h- g8 b- q, Y& \  q/ X. E1 V4 V0 F
    I12 * IZZZ5;
    # J4 g! ^7 c* b5 j  S3 PI12 + IZZZ5;
    " |9 c& g: U) p( a5 R1 |9 EI12 meet IZZZ5;  |7 z: W& n, H' j- ?5 X
    I12 / IZZZ5;
    ( |0 T+ l, \! K2 k; P) m( EIZZZ5/ I12 ;  l1 r7 m- P, A- q
    Z * IZZZ5;
    8 [' u" ]1 O" D( e# [I12 + IZZZ5;
    : d# {/ b% J1 w) D; zIZZ15 meet IZZZ5;
    2 O* B6 a; b0 W6 T# z1 vIZZ15 / IZZZ5;
    Z meet IZZZ5;
    6 G) K, e" C, _) y* j' ^6 oI12 meet IZZZ5;
    4 t7 b( T" I9 K# QIZZ15 meet IZZZ5;* U1 \* i" p. Y
    IZZ15 / IZZZ5;7 Q* N( Q( d$ v/ ~6 c. R" L6 ]) b

    $ e4 m7 Q6 v$ h; L! z* {I12  subset  IZZZ5;运算后的各种理想互相是否包含IZZ15  subset   IZZZ5;% x) `  k5 l" g8 k/ u/ \0 J+ F
    IZZ15 subset IZZZ5;" f/ z3 G4 j  q; O4 P
    IZZZ5 subset IZZ15;

    3 n5 ~- e9 F' |  o& A4 N" f+ eInteger Ring
    6 l2 a8 P1 x% F7 U4 H  FIdeal of Integer Ring generated by 12
    % n$ j) p0 j7 Q9 `: c3 T* L* e) J8 N9 ^Residue class ring of integers modulo 159 c5 q* B! A/ t8 f9 i
    Ideal of Integer Ring generated by 15
    4 Z( L  ~# `6 W  ^/ ^3 G' u6 Pfalse
    2 x( L6 r9 a, I* rResidue class ring of integers modulo 12
    1 H( z, u+ @5 IResidue class ring of integers modulo 15
    . v8 @! s: O' \! V: [& g9 k: QIdeal of Integer Ring generated by 5. V! S# B4 Z: H8 f2 G% [
    Ideal of Integer Ring generated by 180" f- p- z/ v7 Y. z0 R$ S: b; G( p+ j2 u2 {
    Ideal of Integer Ring generated by 3% X  ?- _; r8 ^' k+ |. ?
    Ideal of Integer Ring generated by 607 D" U& ]7 s* w& w) f! L: d3 y
    Ideal of Integer Ring generated by 60; {* \* T* J1 B2 P
    Integer Ring
    ( l; R' B9 N  [. P% o! HIdeal of Integer Ring generated by 60$ S5 P; l4 x  m

    / @  ?- Q# u  N# I>> I12 / IZZZ5;
    ! k: b' X. N0 T) @2 ^       ^
    # X  M( R+ o8 m) U* I  lRuntime error in '/': Argument 2 must divide argument 1.
    7 T% U( [& t5 ^+ M
    5 x. L" O2 L3 ^: [9 r, D* X6 t; N- N/ Z
    ! c' Z2 _$ ?' G2 H0 i' {: W$ ?>> IZZZ5/ I12 ;
    9 t0 o' m' y. D! M        ^
    0 t3 e& K, K2 W6 d& m7 ERuntime error in '/': Argument 2 must divide argument 1.
    4 e2 S6 I" z. N  c' l4 u% ]" J7 v
    " S) r0 g) M4 Y8 RIdeal of Integer Ring generated by 52 s1 F, A. b; d0 R/ J7 B
    Integer Ring
    : w% y7 C+ r3 @2 K. p! KIdeal of Integer Ring generated by 153 ~: g9 @. }7 \6 U# c# {. T2 m
    Ideal of Integer Ring generated by 3, F# t# [7 [" L; J( Z( B# |
    Mapping from: Ideal of Integer Ring generated by 3 to RngInt: Z% B1 A) E7 D8 o6 ?% B0 b7 N% J  a
    Ideal of Integer Ring generated by 56 P, L2 \( {& X, i& _
    Ideal of Integer Ring generated by 60
    / ]4 h* o9 r# Q  H9 a3 }/ ]Ideal of Integer Ring generated by 15* @. V3 [# @  V( s
    Ideal of Integer Ring generated by 3. x6 L' O2 k9 ]- e8 K
    Mapping from: Ideal of Integer Ring generated by 3 to RngInt: Z  S3 E1 U" \, T1 w

    ( q+ U# [" K7 ~false
    5 v7 t; m; I8 Y7 ?true" u  a4 k: L0 p* _1 D- ?
    true
    4 V8 |7 _6 k  h% x3 p* Ofalse
    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    本帖最后由 lilianjie 于 2012-1-11 14:25 编辑 . r, |2 {: j) m0 O& @- _, C! D* [

    ! r: x! o. a' BZ:=IntegerRing() ;Z;   & i  U4 q5 U5 B/ B

    ; M+ m6 n: D6 f. qR:=IntegerRing(12) ;R;   
    + i/ T+ E7 S7 zS:=IntegerRing(13) ;S;   
    2 r- A8 x; U- p/ Q, t
    ; p3 I/ M0 f: C
    0 {: Q( J, f# nPrimeRing(R) ;- E  r) P2 p% u* \( n' y
    Centre(R) ;2 ?/ n1 A& d. M

    ( F  ~7 \. `' X% d4 d. GCharacteristic(R) ;
    9 d# q5 t2 P$ y0 x" n# [( M9 T) o  \# R ;阶----元素数& |5 P, v. p% M' ]% M4 o/ M
    IsPID(R) ;非素数不是整环不是极大理想整环,但都有极大理想公因IsDomain(R) ;# B* d/ }" C* W0 p2 V: h
    Has**(R) ;
    : b- S/ y0 V! [* L+ Z0 H/ _2 E0 b" z( q" H
    IsPID(S) ;
    # s3 F! I" z0 f& r, |  W# NIsDomain(S) ;
    * Y4 S# O! r  j+ t* @, e& j1 HHas**(S) ;  r5 U' T4 _" d* a. E/ I7 V* c
    R eq S ;4 ]1 E1 n! o/ w
    R ne S ;* O; _, ^4 `  i( m
    9 j4 N) u# I5 N4 c
    Parent(R!123) arent(S!123) ;7 H/ e& j. b5 ^$ B
    Category(R!234) ;Category(S!234) ;
    , Y% T8 p" r+ n" S* u$ a% c
    ! |8 [/ m( B6 z' d/ Ta:=Random(R) ;a;b:=Random(S) ;b;
    4 ^1 D( C6 P/ n/ ~1 \: P6 G3 s  yRepresentative(R) ;) I& F( e7 K4 W# k- F
    Representative(S) ;
    3 \& }" P) ?& o5 ~  ~8 l4 ^, [0 z. r' X4 y+ O
    (R!a) in R ;. w0 b: {' l* m: S) B. k/ i( ]
    (S!b) notin S ;
    $ f" c: ~6 O# ?& YIsUnit(a) ;                是单位吗( ?0 E/ S. ]  |
    IsIdempotent(a) ;是幂等元吗
    ( h' j& _4 a1 n$ a8 r% y# K4 gIsNilpotent(b) ;是幂零元吗
    8 H( o3 }5 x* a7 I! x) M1 E2 VIsZeroDivisor(a) ;可除零吗
    $ ]9 H7 @# y& q' Y2 `3 W6 ZIsIrreducible(Z!b) ; 可约吗
    IsPrime(Z!a) ;
    ; {5 C4 V2 c9 r. B: C$ p0 d: `; h6 J- _9 a$ k
    Z!a gt Z!b ;) ?8 ?! b% A# h8 F8 B3 K* S
    Z!a ge Z!b ;
    $ l2 a7 [: B! m+ K8 p, qZ!a lt Z!b ;' N( f/ j; m! u+ f& t' u  S  S/ ?
    Z!a le Z!b ;只有同类环才可比较元素大小,
    Maximum(Z!a, Z!b) ;; p* U. x+ k; }0 `  L) z3 n& Y
    Minimum(Z) ;& D8 j1 Q7 o" d' u# v

    8 Y5 j& E) p! r& i. E! t0 x/ }Maximum(S) ;
    5 O0 @5 g$ p% U+ `) cMinimum(Z!a, Z!b) ;9 p: ]0 Y# b0 h5 R5 e. Z8 |
    Minimum(R) ;
    . e; A) W" W" K4 X1 t/ N7 q* o1 _' A

    ' d  V  r. b  O& @
    8 A& R/ ^  O; ]$ F) D5 iInteger Ring& H# b! n' M! y0 C7 O  [
    Residue class ring of integers modulo 12. _' A5 o7 S$ ?9 g4 X& c
    Residue class ring of integers modulo 13! N# {% e% T4 F6 S2 T
    Residue class ring of integers modulo 12* J: P* q) {$ A/ ]; B( i$ ]
    Residue class ring of integers modulo 12
    7 f, u; l8 g. W* _12& S. N% C& a. [9 L
    12
    : [3 l1 Y1 N2 H2 I' {& A9 ifalse6 \9 n0 f: {/ B$ T
    false2 U! R. d: m: H% x: W" x  _1 K
    true
    + h1 o- o/ [' q+ ?. Btrue
    * ^# O1 r6 v$ q& K2 Strue
    ( K1 M3 S( Y  t$ }: ktrue) ^, @) K# a, T4 U5 ^1 i0 f
    false
    % K' i5 V" O5 q* @1 h& Rtrue6 w/ `0 |, u; r# Y. O9 L
    Residue class ring of integers modulo 12
    3 N/ ]5 i7 h5 _' y" @Residue class ring of integers modulo 13
    3 x4 z- x) ]% F# r+ S6 uRngIntResElt
    ' t- ]7 \* g5 L, {2 l3 nRngIntResElt
    + o1 N; Q% S0 O9' D7 J; W) c6 A9 \. O
    126 O5 F8 Q. u' Y9 |$ n3 G
    01 `) }( ]$ w  i4 l, Z! l0 a4 N3 m3 _
    0# R0 M7 O" j: u0 T- S  U
    true* D) o( x: D7 ^4 }: r
    false
    6 p/ r7 ]: n4 P* L. o9 U5 \false/ n4 i" ?  w7 U7 \% z
    true
    0 u* N$ Y6 N+ y0 ~false
    ' g- d- I& O1 _  {+ H. l# N" mtrue
      h3 g' |) f7 n5 G1 Q# p# ^7 Afalse
    # K+ O, O, `. H3 T: u- ^+ Yfalse3 g8 r/ C. b. G6 S
    false
    0 u0 H* S  w9 s6 n8 Nfalse
    $ @8 C" @; K. h, ltrue2 c( ]( Q/ J. G: t. a) O
    true
    7 D; m+ C; c8 y. i0 b& o12
    8 ^" Z) b4 d# L4 [# T* E  Q* a+ q$ G1
    ( I" X1 t" |3 |6 {# S% \( E7 |& G6 Z; N
    >> Maximum(S) ;0 a# q. S8 j9 l1 p
              ^5 ~/ v4 H2 j& Z
    Runtime error in 'Maximum': Bad argument types; d, p8 [% p* o+ b9 Q
    Argument types given: RngIntRes' j7 Q9 [" l9 B/ g- I3 R. q5 T
    6 Q5 P, F! ~' Q# [3 S6 u) ]# [3 q
    9  J' @' K# Y( e3 j5 s6 K8 n% W9 J

    # T2 Q! B" F9 D+ w9 x5 [! u: ~  J>> Minimum(R) ;; A% Y& h* F& N' Z- I0 P2 ]0 I
              ^
    9 P% T. X4 A) W* x2 iRuntime error in 'Minimum': Bad argument types
    : a3 d. n  R3 i3 @Argument types given: RngIntRes
    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    Z:=IntegerRing(12) ;Z;   
    8 G* w. Y" c8 F6 a9 A0 f UnitGroup(Z);: Z# D! N. ~$ g! Z: @
    MultiplicativeGroup(Z);
    ; g; L6 I) |! i% P9 G& LCategory(Z) ;
    / w" x' [8 n* g3 A9 NPrimeRing(Z);
    2 m: g( b1 }) z+ M: _6 PAdditiveGroup(Z) ;
    9 b7 A* E5 `* }0 Y9 [$ ~' C. B
    : N3 \5 T, }& l8 @. HZ:=IntegerRing(13) ;Z;   9 K4 d( L# s! h2 E0 ~& ]
    UnitGroup(Z);; P1 x2 Q4 N* |* H
    MultiplicativeGroup(Z);2 B4 p5 U3 O( F& L! m, U2 ~  L( ?
    Category(Z) ;
    0 Z+ P1 i% w, {- [  b( A- L# c& GPrimeRing(Z);3 z7 l, [7 f2 X; J- p/ B
    AdditiveGroup(Z) ;) I+ o# p) f# c0 k& t, r) v# n
    0 }( X4 h, v/ m5 H

    9 |% O4 [) {% c3 X7 E$ W, J7 s4 t1 Z# ~/ }- Z4 j
    Residue class ring of integers modulo 12: a! J% N1 x# |7 {9 x5 g* B
    Abelian Group isomorphic to Z/2 + Z/2
    9 s" P8 r" Q' [* O: p0 Z" l% QDefined on 2 generators4 q/ ^' w/ o" ], {6 e1 R6 l
    Relations:
    5 ~, F; W4 u4 r  F    2*$.1 = 0' F6 b" ?' ?. f6 c  x* ?9 Q4 v
        2*$.2 = 05 s9 H+ u* ~2 n* w9 j
    Abelian Group isomorphic to Z/2 + Z/2非素数环的乘群同构两个小群的直积(1*11    5*7)Defined on 2 generators  @/ e7 _& |. |. W' }. M
    Relations:
        2*$.1 = 06 p2 {- o/ c* y/ d
        2*$.2 = 0
    / M6 o5 ~# m$ m6 k. URngIntRes
    : j. z# q5 R! m+ rResidue class ring of integers modulo 12+ l5 Y' s* s/ A/ C0 G0 f/ G
    Abelian Group isomorphic to Z/12$ {- F! D8 n- y6 x
    Defined on 1 generator! F3 f6 q* q& u" g* ?
    Relations:
    ' M' N  _4 d( L# X/ B+ f' F6 d    12*$.1 = 0; g# i, N0 x+ x+ K# j" {, N
    Residue class ring of integers modulo 13
    & r* S* p( g  l- E" IAbelian Group isomorphic to Z/12! q) V( O) }5 U  p: G; G
    Defined on 1 generator( S+ w- j1 m; G% @$ p/ M2 j
    Relations:* g. M% u' M! h1 a
        12*$.1 = 06 b! b! E1 [" s; ?+ O7 ?
    Abelian Group isomorphic to Z/12     素数环的乘群同构Z13-1=Z12Defined on 1 generator. n: }6 i- |9 L. [5 P& D
    Relations:& K  b  G5 A+ |5 J" g) O2 K
        12*$.1 = 0
    , y& t; a3 I# n6 d/ I) @RngIntRes+ z  k, X7 R* u3 S( x% C7 c- {
    Residue class ring of integers modulo 13
    ! t' k# o$ B, J( FAbelian Group isomorphic to Z/13
    4 n1 H* p, C0 KDefined on 1 generator/ a" C1 R) @+ m. J2 T. P7 R) A
    Relations:* b2 C8 T. ]2 V
        13*$.1 = 0
    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    本帖最后由 lilianjie 于 2012-1-11 13:31 编辑   t' A1 ]# G9 U# U6 O
    8 ^- S. @" v, E4 Z6 R5 I
    Z:=IntegerRing(5) ;Z;           模5等价类环n := 1666666666234567890;6 o* o+ n  j* w6 Q8 W& l7 i, v
    > n;
    ) V; P' j) o8 N2 G/ Rn1:=Z!1111111111111111111111;n1;
    ( E- Y6 R* C9 w9 \n2:=Z!11333331111111111111111;n2;! Y7 {/ m& P$ V# J

    5 D, S5 _* ?% T3 O1 C2 J
    6 u4 {% P) m1 @( RK:=Z!n1+Z!n2;K;6 h$ Y7 T& V& ?1 o- n6 `: }

    : \5 q1 Z6 `( F4 N: c. hIsField(Z);      是域吗Characteristic(Z);环特征
    0 s6 J' ]" O( r9 `. ^* h% RIsFinite(Z);有限环吗6 o9 y; z7 r7 q% t, P
    IsCommutative(Z);可换吗
    # e. Q' d/ |, ]- e3 `" z
    IsOrdered(Z);有序吗-------应有不过这函数没有这功能IsEuclideanDomain(Z);欧整环吗------欧环还有非整的。。。。& ~5 l& f; D5 @, W+ ]$ Q
    IsPID(Z) ;主理想整环吗' X& Y  E8 z+ Q! p: O) M
    ( d4 W$ q+ L1 X
    IsUFD(Z) ;唯一分解吗
    ) o) N* b) U, J" D' HIsDivisionRing(Z) ;除环吗* i" ~/ A0 @! E: w
    IsEuclideanRing(Z) ;欧环吗
    ) Y9 ]6 s5 {% fIsPrincipalIdealRing(Z) ;主理想整环吗- h5 ~% e8 `+ z
    IsDomain(Z) ;整环吗
    FieldOfFractions(Z);分式域
    " O$ ~% t3 Y2 C% V1 VUnitGroup(Z);单位群# Z) [4 p3 [6 ?' v( F4 m" e
    MultiplicativeGroup(Z);乘群
    & V6 l! d& D/ A- z4 d/ K
    Category(Z) ;范畴Parent(Z) ;父环: ^1 Y; E% [- l% b7 i1 C
    PrimeRing(Z);素环单环和本原环不同Center(Z) ;中心
    2 W9 x3 `0 H7 ^, \' |8 Z6 aAdditiveGroup(Z) ;加群-----就第行一特点ClassGroup(Z) ;类群----------只有Z才有------难懂理想类群更难懂1 F) `  y0 H5 ^: t  }6 Q; k
      H) q' d) {' m! S2 f
    ZZ:=IntegerRing() ;ZZ;! @3 N6 R0 }$ j# G
    ClassGroup(ZZ) ;
    , U  y/ i+ e- ?+ K& }6 s

    , f; J! F! \6 {% P===========
    8 d8 B9 x) d2 n2 S' m4 Y
      a! ^9 ^6 ]+ b; t+ pResidue class ring of integers modulo 5
    , R! \+ v; v3 Q2 U# Q1666666666234567890( q* k9 {. t0 j8 [% F
    1- S0 Z  v. @* w2 ?. ]
    1) b  e+ ?* {1 L: o: Q" V
    2
    3 y0 Y1 ]) ?8 \5 Ntrue' p* M! F; H- P& ~! _4 Z
    5
    # a6 X% _: e: K1 Z- ]true 5
    ! J+ h6 @0 ~# p0 k7 }! rtrue
    0 q( b# C5 i( L: F0 W( zfalse" c1 K9 H0 ^* M* V* D, K6 i
    true
    / F9 S$ U# H( W; b+ H9 w% \true
    ' v5 |- @/ T' {  Ftrue: ?/ _- z* r2 d0 ~2 T
    true, L+ M- t  v4 d" g" |5 Y
    true
    ( ]8 N. J" s5 b5 ^- ]% ttrue
      ^+ h9 J* U, t5 u; Itrue
    " K7 _+ J1 ^2 KResidue class ring of integers modulo 5
    4 R& M% T% N# \- VAbelian Group isomorphic to Z/41 e- `, y: c9 a+ d  `8 `! ]2 P
    Defined on 1 generator
    : g, H. f5 I  z. \Relations:! v2 n2 X! i* j
        4*$.1 = 04 V6 H- K, K3 Q) ]( c3 D
    Abelian Group isomorphic to Z/4
    , u5 w- k5 G7 Q" [, \, w# I& v; cDefined on 1 generator
    & `6 J9 i. z- q% V4 b2 K. ERelations:
    & j8 W2 ~  K; h# O    4*$.1 = 0- y& i. }4 V0 m% V4 h+ }
    RngIntRes' L8 o/ l1 I5 R& C7 ?% F6 d
    Power Structure of RngIntRes  \% q/ G  k- z0 n4 k5 D9 U1 W- s: E8 P
    Residue class ring of integers modulo 56 L0 a; I& t/ |: G5 N; f
    Residue class ring of integers modulo 5
    ; Q' t8 p* z1 mAbelian Group isomorphic to Z/59 j- c, r' v7 I# ?. h. d2 b
    Defined on 1 generator
    6 q1 d( ?: U) A. _: Y7 yRelations:
    " X* L% @, s9 t, I# k+ g& ?! T. |; q    5*$.1 = 0; ?/ @: _3 h7 V5 Z6 Q
    5 V# z6 U  y$ s: h( l: }3 C* M
    >> ClassGroup(Z) ;2 H$ i  g* |( \1 D( Q
                 ^
    8 O: d  g) q4 ?" P# eRuntime error in 'ClassGroup': Bad argument types& \9 S8 q% h6 N0 F0 J
    Argument types given: RngIntRes: T$ M5 I- ]! v3 {, P+ p( k
    % N. t) a6 b% Z1 w! ]2 I
    Integer Ring/ T- y# r# z) ?) ~+ \9 L
    Abelian Group of order 1
    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    ss:=12345678111;ss;
    - ^) f8 R# s/ b1 ^9 D, h- m: ]s:=0x12345678111;ss;1 _& w8 |$ h: e' r- u+ S

    4 {3 A; x. y0 b- Msss:=Factorization(ss);sss;( J' g; V* A5 q4 E9 U
    sss1:=Factorisation(s);sss1;
    & K" F# m$ b2 a: UFactorizationToInteger(sss);
    # `# i- i. P1 z. \5 ?FactorisationToInteger(sss1) ;5 Z( P) N' s5 w: k/ G; Q# s2 X# `: j: G6 i
    Facint(sss1);因子分解和还原
    ssss:=Intseq(ss, 2);ssss;
    ; ]7 T% P8 R* R& s, o: MSequenceToInteger(ssss, 2);  n& D" l1 G; |/ l) G/ Q5 b
    ssss:=Intseq(ss, 17);ssss;
    0 p" y3 b8 U! M1 g: s+ QSequenceToInteger(ssss, 17);. X$ n* k! `/ x
    ssss1:=Intseq(s, 17);ssss1;7 x3 {6 m9 S+ m1 ?. V' \  ]. l
    SequenceToInteger(ssss1, 17);转成2和17进制

    5 L( k% w/ \% }% _8 H) H
    5 S. y; C3 r( e* S) W12345678111. E8 R- B( b' \2 ^& q5 x
    12345678111
    9 G, ]( N" J, b  L. J[ <3, 1>, <13, 1>, <31, 1>, <1447, 1>, <7057, 1> ]
    1 B4 a: s) i( O0 u* L3 t- p' F8 m( v[ <3, 1>, <83, 1>, <34129, 1>, <147209, 1> ]
    0 a8 h' f0 M9 f2 y/ c123456781118 @% S! U9 S; y8 ~
    1250999894289( f- G7 ]5 d" Y6 k
    1250999894289( x" V$ I4 p, f4 P* l& ~+ K
    [ 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, & w/ }7 d! K$ n6 H# f* ]
    1, 1, 1, 0, 1, 1, 0, 1 ]
    8 g% b& e% P7 q$ N( E/ r12345678111
    6 Y7 P( d, G7 N, \, s& Y; ~5 \[ 8, 6, 6, 4, 0, 8, 1, 13, 1 ]
    , ~8 f5 }5 V6 ^- z12345678111
    4 @# h5 e1 f1 [0 W# t[ 14, 6, 7, 11, 9, 15, 11, 5, 9, 10 ]
    / n9 a, r! A; O( |' w  H# p4 p1250999894289
    回复

    使用道具 举报

    74

    主题

    6

    听众

    3289

    积分

    升级  42.97%

  • 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, 2025-8-8 02:51 , Processed in 3.052033 second(s), 88 queries .

    回顶部