|
256 | 256 | from sage.misc.all import walltime, prod |
257 | 257 | from sage.modules.all import vector, span |
258 | 258 | from sage.rings.all import QQ, ZZ |
| 259 | + |
259 | 260 | from sage.functions.other import floor, ceil |
| 261 | +from sage.numerical.mip import MixedIntegerLinearProgram |
| 262 | +from sage.rings.infinity import infinity |
| 263 | +from sage.misc.prandom import choice, randint |
260 | 264 |
|
261 | 265 |
|
262 | 266 | def is_Fan(x): |
@@ -3636,11 +3640,11 @@ def __init__(self, cones, rays, lattice, |
3636 | 3640 | See :class:`RationalPolyhedralFan_rtree` for documentation. |
3637 | 3641 |
|
3638 | 3642 | TESTS:: |
3639 | | -
|
| 3643 | + sage: from sage.geometry.fan import RationalPolyhedralFan_rtree |
3640 | 3644 | sage: v1, v2= vector([0,1]), vector([1,0]) |
3641 | 3645 | sage: v1.set_immutable() |
3642 | 3646 | sage: v2.set_immutable() |
3643 | | - sage: f = sage.geometry.fan.RationalPolyhedralFan_rtree([(0,),(1,)], [v1,v2], None) |
| 3647 | + sage: f = RationalPolyhedralFan_rtree([(0,),(1,)], [v1,v2], None) |
3644 | 3648 | sage: f.is_pointed() |
3645 | 3649 | True |
3646 | 3650 | """ |
@@ -3806,13 +3810,10 @@ def support_contains(self, *args): |
3806 | 3810 | fan, ``False`` otherwise. |
3807 | 3811 |
|
3808 | 3812 | TESTS:: |
3809 | | -
|
| 3813 | + sage: from sage.geometry.fan import RationalPolyhedralFan_rtree |
3810 | 3814 | sage: cone1 = Cone([(0,-1), (1,0)]) |
3811 | 3815 | sage: cone2 = Cone([(1,0), (0,1)]) |
3812 | | - sage: f = Fan([cone1, cone2], allow_rtree = True) |
3813 | | -
|
3814 | | - We check if some points are in this fan:: |
3815 | | -
|
| 3816 | + sage: f = Fan([cone1, cone2], allow_rtree = True) # We check if some points are in this fan |
3816 | 3817 | sage: f.support_contains(f.lattice()(1,0)) |
3817 | 3818 | True |
3818 | 3819 | sage: f.support_contains(cone1) # a cone is not a point of the lattice |
|
0 commit comments