Ticket #14201: trac_14201_ppl_doctest_fixes.patch

File trac_14201_ppl_doctest_fixes.patch, 1.9 KB (added by vbraun, 9 years ago)

Initial patch

  • sage/libs/ppl.pyx

    # HG changeset patch
    # User Volker Braun <vbraun@stp.dias.ie>
    # Date 1362247601 36000
    # Node ID 0a468145da96fb51ab3fbec7d1b3fc8c9b97393d
    # Parent  489496ff727619a02547081ae6b6eca21338a382
    Fixes for different but equivalent doctest output with the ppl update
    
    diff --git a/sage/libs/ppl.pyx b/sage/libs/ppl.pyx
    a b  
    759759            Traceback (most recent call last):
    760760            ...
    761761            ValueError: PPL::MIP_Problem::optimizing_point():
    762             *this doesn't have an optimizing point.
     762            *this does not have an optimizing point.
    763763        """
    764764        cdef PPL_Coefficient sup_n
    765765        cdef PPL_Coefficient sup_d
     
    29172917       
    29182918            sage: from sage.libs.ppl import C_Polyhedron
    29192919            sage: C_Polyhedron(1, 'empty').max_space_dimension()   # random output
    2920             1152921504606846973
     2920            1152921504606846974
    29212921            sage: max_dim = C_Polyhedron(1, 'empty').max_space_dimension()
    2922             sage: max_dim in (357913939, 1152921504606846973)  # 32 or 64 bit
     2922            sage: max_dim in (357913940, 1152921504606846974)  # 32 or 64 bit
    29232923            True
    29242924        """
    29252925        return self.thisptr.max_space_dimension()
     
    59735973        sage: cs.insert( 6*x<3*y )
    59745974        sage: cs.insert( x >= 2*x-7*y )
    59755975        sage: cs
    5976         Constraint_System {5*x0-2*x1>0, -6*x0+3*x1>0, -x0+7*x1>=0}
     5976        Constraint_System {5*x0-2*x1>0, -2*x0+x1>0, -x0+7*x1>=0}
    59775977    """
    59785978
    59795979    cdef PPL_Constraint_System *thisptr
     
    63696369            sage: x = Variable(0)
    63706370            sage: cs = Constraint_System( 5*x > 0 )
    63716371            sage: Constraint_System_iterator(cs).next()
    6372             5*x0>0
     6372            x0>0
    63736373        """       
    63746374        if is_end_cs_iterator((<Constraint_System>self.cs).thisptr[0], self.csi_ptr):
    63756375            raise StopIteration