Skip to content
This repository was archived by the owner on Feb 1, 2023. It is now read-only.

Commit 326602c

Browse files
author
Jonathan Kliem
committed
f_vector of CombinatorialPolyhedron is a vector
1 parent 0f20b37 commit 326602c

File tree

1 file changed

+10
-3
lines changed
  • src/sage/geometry/polyhedron/combinatorial_polyhedron

1 file changed

+10
-3
lines changed

src/sage/geometry/polyhedron/combinatorial_polyhedron/base.pyx

Lines changed: 10 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -184,7 +184,7 @@ cdef class CombinatorialPolyhedron(SageObject):
184184
an integer::
185185
186186
sage: CombinatorialPolyhedron(-1).f_vector()
187-
(1,)
187+
(1)
188188
sage: CombinatorialPolyhedron(0).f_vector()
189189
(1, 1)
190190
sage: CombinatorialPolyhedron(5).f_vector()
@@ -759,7 +759,7 @@ cdef class CombinatorialPolyhedron(SageObject):
759759
760760
sage: C = CombinatorialPolyhedron(-1)
761761
sage: C.f_vector()
762-
(1,)
762+
(1)
763763
sage: C.n_facets()
764764
0
765765
@@ -1117,12 +1117,19 @@ cdef class CombinatorialPolyhedron(SageObject):
11171117
sage: C = CombinatorialPolyhedron(P)
11181118
sage: C.f_vector()
11191119
(1, 10, 45, 120, 185, 150, 50, 1)
1120+
1121+
TESTS::
1122+
1123+
sage: type(C.f_vector())
1124+
<type 'sage.modules.vector_integer_dense.Vector_integer_dense'>
11201125
"""
11211126
if not self._f_vector:
11221127
self._compute_f_vector()
11231128
if not self._f_vector:
11241129
raise ValueError("could not determine f_vector")
1125-
return self._f_vector
1130+
from sage.modules.free_module_element import vector
1131+
from sage.rings.all import ZZ
1132+
return vector(ZZ, self._f_vector)
11261133

11271134
def face_iter(self, dimension=None, dual=None):
11281135
r"""

0 commit comments

Comments
 (0)