Skip to content

Commit

Permalink
fix doctests
Browse files Browse the repository at this point in the history
  • Loading branch information
yyyyx4 committed Feb 14, 2023
1 parent 99f9d58 commit fe50906
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 7 deletions.
6 changes: 3 additions & 3 deletions src/sage/geometry/polyhedron/ppl_lattice_polytope.py
Original file line number Diff line number Diff line change
Expand Up @@ -855,8 +855,8 @@ def base_projection_matrix(self, fiber):
sage: poly = LatticePolytope_PPL((-9,-6,-1,-1),(0,0,0,1),(0,0,1,0),(0,1,0,0),(1,0,0,0))
sage: fiber = next(poly.fibration_generator(2))
sage: poly.base_projection_matrix(fiber)
[0 0 1 0]
[0 0 0 1]
[ 0 0 -1 0]
[ 0 0 0 -1]
Note that the basis choice in :meth:`base_projection` for the
quotient is usually different::
Expand All @@ -866,7 +866,7 @@ def base_projection_matrix(self, fiber):
sage: [ proj(p) for p in poly.integral_points() ]
[(-1, -1), (0, 0), (0, 0), (0, 0), (0, 0), (0, 0), (0, 0), (0, 0), (0, 1), (1, 0)]
sage: [ proj_matrix*p for p in poly.integral_points() ]
[(-1, -1), (0, 0), (0, 0), (0, 0), (0, 0), (0, 0), (0, 0), (0, 0), (0, 1), (1, 0)]
[(1, 1), (0, 0), (0, 0), (0, 0), (0, 0), (0, 0), (0, 0), (0, 0), (0, -1), (-1, 0)]
"""
return matrix(ZZ, fiber.vertices()).right_kernel_matrix()

Expand Down
4 changes: 0 additions & 4 deletions src/sage/matrix/matrix2.pyx
Original file line number Diff line number Diff line change
Expand Up @@ -4405,10 +4405,6 @@ cdef class Matrix(Matrix1):
Traceback (most recent call last):
...
ValueError: 'pari' matrix kernel algorithm only available over non-trivial number fields and the integers, not over Rational Field
sage: matrix(Integers(6), 2, 2).right_kernel_matrix(algorithm='generic')
Traceback (most recent call last):
...
NotImplementedError: Echelon form not implemented over 'Ring of integers modulo 6'.
sage: matrix(QQ, 2, 2).right_kernel_matrix(algorithm='pluq')
Traceback (most recent call last):
...
Expand Down

0 comments on commit fe50906

Please sign in to comment.