Ticket #4036: trac_4036.patch

File trac_4036.patch, 2.2 KB (added by Mike Hansen, 14 years ago)
  • sage/rings/integer_mod.pyx

    # HG changeset patch
    # User Mike Hansen <mhansen@gmail.com>
    # Date 1220311853 25200
    # Node ID 50f50b1ace181547f429bbbfb1380d044a70f2b9
    # Parent  c76d4461aa774b209b42b7b8b1180a81b3427079
    Minor improvements to the Axiom interface.
    
    diff -r c76d4461aa77 -r 50f50b1ace18 sage/rings/integer_mod.pyx
    a b  
    362362            1
    363363        """
    364364        return '%s!%s'%(self.parent()._magma_init_(), self)
     365
     366    def _axiom_init_(self):
     367        """
     368        Return a string representation of the corresponding to Axiom
     369        object.
     370
     371        EXAMPLES:
     372            sage: a = Integers(15)(4)
     373            sage: a._axiom_init_()
     374            '4 :: IntegerMod(15)'
     375
     376            sage: aa = axiom(a); aa #optional -- requires Axiom
     377            4
     378            sage: aa.type()         #optional
     379            IntegerMod 15
     380        """
     381        return '%s :: %s'%(self, self.parent()._axiom_init_())
    365382
    366383    def _sage_input_(self, sib, coerced):
    367384        r"""
  • sage/rings/integer_mod_ring.py

    diff -r c76d4461aa77 -r 50f50b1ace18 sage/rings/integer_mod_ring.py
    a b  
    233233
    234234        """
    235235        return "ZZ/%s"%self.order()
     236
     237    def _axiom_init_(self):
     238        """
     239        Returns a string representation of self in Axiom.
     240
     241        EXAMPLES:
     242            sage: Z7 = Integers(7)
     243            sage: Z7._axiom_init_()
     244            'IntegerMod(7)'
     245
     246            sage: axiom(Z7) #optional -- requires Axiom
     247            IntegerMod 7
     248
     249        """
     250        return 'IntegerMod(%s)'%self.order()
    236251
    237252    def krull_dimension(self):
    238253        """
  • sage/rings/rational_field.py

    diff -r c76d4461aa77 -r 50f50b1ace18 sage/rings/rational_field.py
    a b  
    670670        """
    671671        return "QQ"
    672672
     673    def _axiom_init_(self):
     674        """
     675        EXAMPLES:
     676            sage: axiom(QQ)  #optional -- requires Axiom
     677        """
     678        return 'Fraction Integer'
     679
    673680
    674681QQ = RationalField()
    675682Q = QQ