Changeset 5489:d56640da7b08

Timestamp:

07/23/07 17:49:43 (6 years ago)

Author:

Robert Bradshaw <robertwb@…>

Branch:

default

Message:

almost all doctests passing

Location:

sage

Files:

• groups/perm_gps/permgroup_element.py (modified) (1 diff)
• modules/free_module_element.pyx (modified) (2 diffs)
• structure/coerce.pyx (modified) (3 diffs)
• structure/parent_base.pyx (modified) (1 diff)

sage/groups/perm_gps/permgroup_element.py

@@ -222 +222 @@
             self.__gap = str(g)
         if parent is None:
-            parent = permgroup_named.SymmetricGroup(self._gap_().LargestMovedPoint())
+            parent = SymmetricGroup(self._gap_().LargestMovedPoint())
         element.Element.__init__(self, parent)
 

sage/modules/free_module_element.pyx

@@ -873 +873 @@
 
     cdef ModuleElement _rmul_c_impl(self, RingElement left):
+        """
+        EXAMPLES: 
+            sage: V = ZZ['x']^5
+            sage: 5 * V.0
+            (5, 0, 0, 0, 0)
+        """
         if left._parent is self._parent._base:
             v = [left._mul_c(<RingElement>x) for x in self._entries]
         else:
-            v = [left * x for x in v]
+            v = [left * x for x in self._entries]
         return self._new_c(v)
 
@@ -883 +889 @@
             v = [(<RingElement>x)._mul_c(right) for x in self._entries]
         else:
-            v = [x * right for x in v]
+            v = [x * right for x in self._entries]
         return self._new_c(v)
 

sage/structure/coerce.pyx

@@ -365 +365 @@
         
         if op is operator.div:
+            try:
+                K = S.fraction_field()
+            except AttributeError:
+                K = S
+            
             if PY_TYPE_CHECK(S, Parent):
-                action = (<Parent>S).get_action_c(R, operator.mul, False)
-                if action is not None and action.actor() is S:
+                action = (<Parent>K).get_action_c(R, operator.mul, False)
+                if action is not None and action.actor() is K:
                     try:
                         return ~action
@@ -373 +378 @@
                         pass
             if PY_TYPE_CHECK(R, Parent):
-                action = (<Parent>R).get_action_c(S, operator.mul, True)
-                if action is not None and action.actor() is S:
+                action = (<Parent>R).get_action_c(K, operator.mul, True)
+                if action is not None and action.actor() is K:
                     try:
                         return ~action
@@ -445 +450 @@
         # implemented with the assumption that
         # _rmul_ is given an element of the basering
+#        print "G", G
+#        print "S", S
         if G is not S.base() and S.base() is not S:
             self.connecting = S.base().coerce_map_from(G)

sage/structure/parent_base.pyx

@@ -325 +325 @@
         cdef ParentWithBase self_b
         self_b = self._base
-        if self_b is self:
+        if self_b is self or self_b is None:
             return None
         try: