passagemath-repl 10.5.28__py3-none-any.whl → 10.5.30__py3-none-any.whl

sage/tests/books/judson-abstract-algebra/permute-sage.py

@@ -0,0 +1,320 @@
+# sage_setup: distribution = sagemath-repl
+# sage.doctest: needs sage.groups sage.modules
+##          Sage Doctest File         ##
+#**************************************#
+#*    Generated from PreTeXt source   *#
+#*    on 2017-08-24T11:43:34-07:00    *#
+#*                                    *#
+#*   http://mathbook.pugetsound.edu   *#
+#*                                    *#
+#**************************************#
+##
+"""
+Please contact Rob Beezer (beezer@ups.edu) with
+any test failures here that need to be changed
+as a result of changes accepted into Sage.  You
+may edit/change this file in any sensible way, so
+that development work may procede.  Your changes
+may later be replaced by the authors of "Abstract
+Algebra: Theory and Applications" when the text is
+updated, and a replacement of this file is proposed
+for review.
+"""
+##
+## To execute doctests in these files, run
+##   $ $SAGE_ROOT/sage -t <directory-of-these-files>
+## or
+##   $ $SAGE_ROOT/sage -t <a-single-file>
+##
+## Replace -t by "-tp n" for parallel testing,
+##   "-tp 0" will use a sensible number of threads
+##
+## See: http://www.sagemath.org/doc/developer/doctesting.html
+##   or run  $ $SAGE_ROOT/sage --advanced  for brief help
+##
+## Generated at 2017-08-24T11:43:34-07:00
+## From "Abstract Algebra"
+## At commit 26d3cac0b4047f4b8d6f737542be455606e2c4b4
+##
+## Section 5.4 Sage
+##
+r"""
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: G = SymmetricGroup(5)
+    sage: sigma = G("(1,3)(2,5,4)")
+    sage: sigma*sigma
+    (2,4,5)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: rho = G("(2,4)(1,5)")
+    sage: rho^3
+    (1,5)(2,4)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sigma*rho
+    (1,3,5,2)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: rho*sigma
+    (1,4,5,3)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: rho^-1*sigma*rho
+    (1,2,4)(3,5)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sigma1 = G("(1,3)(2,5,4)")
+    sage: sigma1
+    (1,3)(2,5,4)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sigma2 = G([(1,3),(2,5,4)])
+    sage: sigma2
+    (1,3)(2,5,4)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sigma3 = G([3,5,1,2,4])
+    sage: sigma3
+    (1,3)(2,5,4)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sigma1 == sigma2
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sigma2 == sigma3
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sigma2.cycle_tuples()
+    [(1, 3), (2, 5, 4)]
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: [sigma3(x) for x in G.domain()]
+    [3, 5, 1, 2, 4]
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: H = SymmetricGroup(4)
+    sage: sigma = H("(1,2,3,4)")
+    sage: G = SymmetricGroup(6)
+    sage: tau = G("(1,2,3,4,5,6)")
+    sage: rho = tau * sigma
+    sage: rho
+    (1,3)(2,4,5,6)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sigma.parent()
+    Symmetric group of order 4! as a permutation group
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: tau.parent()
+    Symmetric group of order 6! as a permutation group
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: rho.parent()
+    Symmetric group of order 6! as a permutation group
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: tau.parent() == rho.parent()
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sigmaG = G(sigma)
+    sage: sigmaG.parent()
+    Symmetric group of order 6! as a permutation group
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: tauH = H(tau)
+    Traceback (most recent call last):
+    ...
+    ValueError: invalid data to initialize a permutation
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: groups.permutation.   # not tested
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: D = DihedralGroup(5)
+    sage: elements = D.list(); elements
+    [(),
+     (1,5,4,3,2),
+     (1,4,2,5,3),
+     (1,3,5,2,4),
+     (1,2,3,4,5),
+     (2,5)(3,4),
+     (1,5)(2,4),
+     (1,4)(2,3),
+     (1,3)(4,5),
+     (1,2)(3,5)]
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: rotate = elements[4]
+    sage: flip = elements[5]
+    sage: flip*rotate == rotate* flip
+    False
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: D = DihedralGroup(5)
+    sage: D.is_abelian()
+    False
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: A4 = AlternatingGroup(4)
+    sage: A4.order()
+    12
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: A4.is_finite()
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: A4.is_abelian()
+    False
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: A4.is_cyclic()
+    False
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sigma = A4("(1,2,4)")
+    sage: sigma^-1
+    (1,4,2)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sigma.order()
+    3
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: G = SymmetricGroup(3)
+    sage: sigma = G("(1,2)")
+    sage: tau = G("(1,3)")
+    sage: rho = sigma*tau
+    sage: sigma.sign()
+    -1
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: rho.sign()
+    1
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: A4 = AlternatingGroup(4)
+    sage: sigma = A4("(1,2,4)")
+    sage: sg = A4.subgroup([sigma])
+    sage: sg
+    Subgroup generated by
+    [(1,2,4)] of (Alternating group of order 4!/2 as a permutation group)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sg.order()
+    3
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sg.list()
+    [(), (1,2,4), (1,4,2)]
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sg.is_abelian()
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sg.is_cyclic()
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: sg.is_subgroup(A4)
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: G = SymmetricGroup(5)
+    sage: sigma = G("(4,5)")
+    sage: tau = G("(1,3)")
+    sage: H = G.subgroup([sigma, tau])
+    sage: H.list()
+    [(), (4,5), (1,3), (1,3)(4,5)]
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: text_names = ['id', 'sigma', 'tau', 'mu']
+    sage: H.cayley_table(names=text_names)
+        *     id sigma   tau    mu
+         +------------------------
+       id|    id sigma   tau    mu
+    sigma| sigma    id    mu   tau
+      tau|   tau    mu    id sigma
+       mu|    mu   tau sigma    id
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: G = SymmetricGroup(8)
+    sage: above = G("(1,2,3,4)(5,6,7,8)")
+    sage: front = G("(1,4,8,5)(2,3,7,6)")
+    sage: right = G("(1,2,6,5)(3,7,8,4)")
+    sage: cube = G.subgroup([above, front, right])
+    sage: cube.order()
+    24
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: cube.list()
+    [(),
+     (1,3)(2,4)(5,7)(6,8),
+     (1,6)(2,5)(3,8)(4,7),
+     (1,8)(2,7)(3,6)(4,5),
+     (1,4,3,2)(5,8,7,6),
+     (1,2,3,4)(5,6,7,8),
+     (1,5)(2,8)(3,7)(4,6),
+     (1,7)(2,6)(3,5)(4,8),
+     (2,5,4)(3,6,8),
+     (1,3,8)(2,7,5),
+     (1,6,3)(4,5,7),
+     (1,8,6)(2,4,7),
+     (1,4)(2,8)(3,5)(6,7),
+     (1,2,6,5)(3,7,8,4),
+     (1,5,6,2)(3,4,8,7),
+     (1,7)(2,3)(4,6)(5,8),
+     (2,4,5)(3,8,6),
+     (1,3,6)(4,7,5),
+     (1,6,8)(2,7,4),
+     (1,8,3)(2,5,7),
+     (1,4,8,5)(2,3,7,6),
+     (1,2)(3,5)(4,6)(7,8),
+     (1,5,8,4)(2,6,7,3),
+     (1,7)(2,8)(3,4)(5,6)]
+"""

sage/tests/books/judson-abstract-algebra/poly-sage.py

@@ -0,0 +1,301 @@
+# sage_setup: distribution = sagemath-repl
+# sage.doctest: needs sage.libs.pari
+##          Sage Doctest File         ##
+#**************************************#
+#*    Generated from PreTeXt source   *#
+#*    on 2017-08-24T11:43:34-07:00    *#
+#*                                    *#
+#*   http://mathbook.pugetsound.edu   *#
+#*                                    *#
+#**************************************#
+##
+"""
+Please contact Rob Beezer (beezer@ups.edu) with
+any test failures here that need to be changed
+as a result of changes accepted into Sage.  You
+may edit/change this file in any sensible way, so
+that development work may procede.  Your changes
+may later be replaced by the authors of "Abstract
+Algebra: Theory and Applications" when the text is
+updated, and a replacement of this file is proposed
+for review.
+"""
+##
+## To execute doctests in these files, run
+##   $ $SAGE_ROOT/sage -t <directory-of-these-files>
+## or
+##   $ $SAGE_ROOT/sage -t <a-single-file>
+##
+## Replace -t by "-tp n" for parallel testing,
+##   "-tp 0" will use a sensible number of threads
+##
+## See: http://www.sagemath.org/doc/developer/doctesting.html
+##   or run  $ $SAGE_ROOT/sage --advanced  for brief help
+##
+## Generated at 2017-08-24T11:43:34-07:00
+## From "Abstract Algebra"
+## At commit 26d3cac0b4047f4b8d6f737542be455606e2c4b4
+##
+## Section 17.6 Sage
+##
+r"""
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: R.<x> = Integers(8)[]; R
+    Univariate Polynomial Ring in x over Ring of integers modulo 8
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: S.<y> = ZZ[]; S
+    Univariate Polynomial Ring in y over Integer Ring
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: T.<z> = QQ[]; T
+    Univariate Polynomial Ring in z over Rational Field
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: R.is_finite()
+    False
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: R.is_integral_domain()
+    False
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: S.is_integral_domain()
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: T.is_field()
+    False
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: R.characteristic()
+    8
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: T.characteristic()
+    0
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: y in S
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: x in S
+    False
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: q = (3/2) + (5/4)*z^2
+    sage: q in T
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: 3 in S
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: r = 3
+    sage: r.parent()
+    Integer Ring
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: s = 3*y^0
+    sage: s.parent()
+    Univariate Polynomial Ring in y over Integer Ring
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: p = 3 + 5*x + 2*x^2
+    sage: p.parent()
+    Univariate Polynomial Ring in x over Ring of integers modulo 8
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: p(1)
+    2
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: [p(t) for t in Integers(8)]
+    [3, 2, 5, 4, 7, 6, 1, 0]
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: q = 4*x^2+4*x
+    sage: [q(t) for t in Integers(8)]
+    [0, 0, 0, 0, 0, 0, 0, 0]
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: M.<s, t> = QQ[]; M
+    Multivariate Polynomial Ring in s, t over Rational Field
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: R.<x> = QQ[]
+    sage: p = 1/4*x^4 - x^3 + x^2 - x - 1/2
+    sage: p.is_irreducible()
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: p.factor()
+    (1/4) * (x^4 - 4*x^3 + 4*x^2 - 4*x - 2)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: q = 2*x^5 + 5/2*x^4 + 3/4*x^3 - 25/24*x^2 - x - 1/2
+    sage: q.is_irreducible()
+    False
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: q.factor()
+    (2) * (x^2 + 3/2*x + 3/4) * (x^3 - 1/4*x^2 - 1/3)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: F.<a> = FiniteField(5^2)
+    sage: S.<y> = F[]
+    sage: p = 2*y^5 + 2*y^4 + 4*y^3 + 2*y^2 + 3*y + 1
+    sage: p.is_irreducible()
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: p.factor()
+    (2) * (y^5 + y^4 + 2*y^3 + y^2 + 4*y + 3)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: q = 3*y^4+2*y^3-y+4; q.factor()
+    (3) * (y^2 + (a + 4)*y + 2*a + 3) * (y^2 + 4*a*y + 3*a)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: r = y^4+2*y^3+3*y^2+4; r.factor()
+    (y + 4) * (y^3 + 3*y^2 + y + 1)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: s = 3*y^4+2*y^3-y+3; s.factor()
+    (3) * (y + 1) * (y + 3) * (y + 2*a + 4) * (y + 3*a + 1)
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: F.modulus()
+    x^2 + 4*x + 2
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: [t for t in F if r(t)==0]
+    [1]
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: [t for t in F if s(t)==0]
+    [2, 3*a + 1, 4, 2*a + 4]
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: W.<w> = QQ[]
+    sage: p = 16*w^5 - 9*w^4 +3*w^2 + 6*w -21
+    sage: p.is_irreducible()
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: W.<w> = QQ[]
+    sage: r = -w^5 + 5*w^4 - 4*w^3 + 14*w^2 - 67*w + 17
+    sage: s = 3*w^5 - 14*w^4 + 12*w^3 - 6*w^2 + w
+    sage: S = W.ideal(r, s)
+    sage: S
+    Principal ideal (w^2 - 4*w + 1) of
+    Univariate Polynomial Ring in w over Rational Field
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: (w^2)*r + (3*w-6)*s in S
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: F = Integers(7)
+    sage: R.<x> = F[]
+    sage: p = x^5+ x + 4
+    sage: p.is_irreducible()
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: id = R.ideal(p)
+    sage: Q = R.quotient(id); Q
+    Univariate Quotient Polynomial Ring in xbar over
+    Ring of integers modulo 7 with modulus x^5 + x + 4
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: Q.is_field()
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: Q.order() == 7^5
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: Q.gen(0)
+    xbar
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: Q.<t> = R.quotient(id); Q
+    Univariate Quotient Polynomial Ring in t over
+    Ring of integers modulo 7 with modulus x^5 + x + 4
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: t^5 + t + 4
+    0
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: t^5 == -(t+4)
+    True
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: t^5
+    6*t + 3
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: (3*t^3 + t + 5)*(t^2 + 4*t + 2)
+    5*t^4 + 2*t^2 + 5*t + 5
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: a = 3*t^4 - 6*t^3 + 3*t^2 + 5*t + 2
+    sage: ainv = a^-1; ainv
+    6*t^4 + 5*t^2 + 4
+
+~~~~~~~~~~~~~~~~~~~~~~ ::
+
+    sage: a*ainv
+    1
+"""