Ticket #13747: trac_13747-rebase-11763.patch
File trac_13747-rebase-11763.patch, 3.2 KB (added by , 8 years ago) |
---|
-
sage/geometry/polyhedron/base.py
# HG changeset patch # User Nathann Cohen <nathann.cohen@gmail.com> # Date 1355838507 -3600 # Node ID fcc197c0e9578a0cf4481f560ed1cf0164f8b63e # Parent 783c4519826ff4a179e20d7383db30942f78c54b Change default behaviour of Poset to facade = True - Rebased on 11763 diff --git a/sage/geometry/polyhedron/base.py b/sage/geometry/polyhedron/base.py
a b 2486 2486 index = len(fl) - 1 - codim 2487 2487 if index>=len(fl) or index<1: 2488 2488 return tuple() 2489 return tuple(f ace.element for face in fl[index])2489 return tuple(fl[index]) 2490 2490 2491 2491 @cached_method 2492 2492 def f_vector(self): -
sage/geometry/polyhedron/face.py
diff --git a/sage/geometry/polyhedron/face.py b/sage/geometry/polyhedron/face.py
a b 250 250 251 251 sage: square = polytopes.n_cube(2) 252 252 sage: f = square.face_lattice()[5:9] 253 sage: matrix(4,4, lambda i,j: cmp(f[i] .element, f[j].element))253 sage: matrix(4,4, lambda i,j: cmp(f[i], f[j])) 254 254 [ 0 -1 -1 -1] 255 255 [ 1 0 -1 -1] 256 256 [ 1 1 0 1] … … 286 286 287 287 sage: square = polytopes.n_cube(2) 288 288 sage: for fl in square.face_lattice(): 289 ... print fl. element.ambient_Hrepresentation()289 ... print fl.ambient_Hrepresentation() 290 290 ... 291 291 (An inequality (1, 0) x + 1 >= 0, An inequality (0, 1) x + 1 >= 0, 292 292 An inequality (-1, 0) x + 1 >= 0, An inequality (0, -1) x + 1 >= 0) … … 328 328 329 329 sage: square = polytopes.n_cube(2) 330 330 sage: for fl in square.face_lattice(): 331 ... print fl. element.ambient_Vrepresentation()331 ... print fl.ambient_Vrepresentation() 332 332 ... 333 333 () 334 334 (A vertex at (-1, -1),) … … 361 361 EXAMPLES:: 362 362 363 363 sage: p = polytopes.cross_polytope(4) 364 sage: face = p.face_lattice()[10] .element364 sage: face = p.face_lattice()[10] 365 365 sage: face 366 366 <0,2> 367 367 sage: face.ambient_Hrepresentation() … … 388 388 EXAMPLES:: 389 389 390 390 sage: p = polytopes.cross_polytope(4) 391 sage: face = p.face_lattice()[10] .element391 sage: face = p.face_lattice()[10] 392 392 sage: face 393 393 <0,2> 394 394 sage: face.ambient_Vrepresentation() … … 423 423 EXAMPLES:: 424 424 425 425 sage: fl = polytopes.dodecahedron().face_lattice() 426 sage: [ x. element.dim() for x in fl ]426 sage: [ x.dim() for x in fl ] 427 427 [-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 428 428 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 429 429 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3] … … 446 446 EXAMPLES:: 447 447 448 448 sage: square = polytopes.n_cube(2) 449 sage: a_face = list( square.face_lattice() )[8] .element449 sage: a_face = list( square.face_lattice() )[8] 450 450 sage: a_face.__repr__() 451 451 '<1,3>' 452 452 """