Changeset 6031:18e45aa21972
- Timestamp:
- 08/29/07 19:48:16 (6 years ago)
- Branch:
- default
- Location:
- sage
- Files:
-
- 4 edited
-
groups/perm_gps/cubegroup.py (modified) (1 diff)
-
rings/integer.pyx (modified) (2 diffs)
-
structure/element.pyx (modified) (1 diff)
-
version.py (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
sage/groups/perm_gps/cubegroup.py
r5991 r6031 955 955 956 956 This algorithm 957 (a) constructs the free group on 6 generators then computes a 957 \begin{enumerate} 958 \item constructs the free group on 6 generators then computes a 958 959 reasonable set of relations which they satisfy 959 (b)computes a homomorphism from the cube group to this free960 \item computes a homomorphism from the cube group to this free 960 961 group quotient 961 (c)takes the cube position, regarded as a group element,962 \item takes the cube position, regarded as a group element, 962 963 and maps it over to the free group quotient 963 (d)using those relations and tricks from combinatorial group964 \item using those relations and tricks from combinatorial group 964 965 theory (stabilizer chains), solves the "word problem" for that 965 966 element. 966 (e) uses python string parsing to rewrite that in cube notation. 967 The Rubik's cube group has about 4.3x10^(19) elements, so this 967 \item uses python string parsing to rewrite that in cube notation. 968 \end{enumerate} 969 970 The Rubik's cube group has about $4.3 \times 10^{19}$ elements, so this 968 971 process is time-consuming. 969 972 See http://www.gap-system.org/Doc/Examples/rubik.html -
sage/rings/integer.pyx
r6014 r6031 1021 1021 def __mod__(self, modulus): 1022 1022 r""" 1023 Returns \code{self % modulus}.1023 Returns self modulo the modulus. 1024 1024 1025 1025 EXAMPLES: … … 1031 1031 ... 1032 1032 ZeroDivisionError: Integer modulo by zero 1033 """ 1033 sage: -5 % 7 1034 2 1035 """ 1034 1036 cdef Integer _modulus, _self 1035 1037 _modulus = integer(modulus) -
sage/structure/element.pyx
r6027 r6031 2718 2718 def generic_power(a, n, one=None): 2719 2719 """ 2720 Computes a^n, where n is an integer, and ais an object which2720 Computes $a^n$, where $n$ is an integer, and $a$ is an object which 2721 2721 supports multiplication. Optionally an additional argument, 2722 2722 which is used in the case that n == 0: -
sage/version.py
r6000 r6031 1 1 """nodoctests""" 2 version='2.8.3. alpha5'; date='2007-08-29'2 version='2.8.3.rc1'; date='2007-08-29'
Note: See TracChangeset
for help on using the changeset viewer.
