DV=D.Vrepresentation()
DV
v =[(n(DV[i][0],3),n(DV[i][1],3),n(DV[i][2],3)) for i in range(len(DV))]
DH=D.Hrepresentation()
show(DH[0])
sol=solve( DH[0],x[1])
This doesn't work. So what can I do ?
Revision history [back]
 | 1 | initial version |
Solve() seems not to work for inequality exctracted from a polyhedron
Solve() seems not to work for inequality exctracted from a polyhedron
DV=D.Vrepresentation()
DV
v =[(n(DV[i][0],3),n(DV[i][1],3),n(DV[i][2],3)) for i in range(len(DV))]
DH=D.Hrepresentation()
show(DH[0])
sol=solve( DH[0],x[1])
This doesn't work. So what can I do ?
Solve() seems not to work for inequality exctracted extracted from a polyhedron
D=polytopes.dodecahedron()
This doesn't work. So what can I do ?
Solve() seems not to work for inequality extracted from a polyhedron
D=polytopes.dodecahedron()
DV=D.Vrepresentation()
DV
v =[(n(DV[i][0],3),n(DV[i][1],3),n(DV[i][2],3)) for i in range(len(DV))]
DH=D.Hrepresentation()
show(DH[0])
sol=solve( DH[0],x[1])
This doesn't work. So what can I do ?
Solve() seems not to work for inequality extracted from a polyhedron
D=polytopes.dodecahedron() Starting from a polytope, I would like to extract the inequalities
of its hyperplane representation and solve them with Sage's solve.
Define the dodecahedron and obtain its hyperplane representation.
sage: D = polytopes.dodecahedron()
sage: DH = D.Hrepresentation()
Pick the first inequality:
sage: DH[0]
An inequality (0, -1/2, -1/4*sqrt5 - 1/4) x + 1 >= 0
Try to feed it to solve:
sage: sol = solve(DH[0], x[1])
This doesn't work. So what can I do ?do?
Solve() seems not to work for inequality extracted from a polyhedron
Starting from a polytope, I would like to extract the inequalities
of its hyperplane representation and solve them with Sage's solve.
Define the dodecahedron and obtain its hyperplane representation.
sage: D = polytopes.dodecahedron()
sage: DH = D.Hrepresentation()
Pick the first inequality:
sage: DH[0]
An inequality (0, -1/2, -1/4*sqrt5 - 1/4) x + 1 >= 0
Try to feed it to solve:
sage: sol = solve(DH[0], x[1])
This doesn't work. So what can I do?
