sagemath / sage

Main repository of SageMath. Now open for Issues and Pull Requests.
https://www.sagemath.org
Other
1.12k stars 401 forks source link

Dual of a ToricLattice_sublattice is not treated as a ToricLattice #37920

Open eruditeandroid opened 1 month ago

eruditeandroid commented 1 month ago

Steps To Reproduce

sage: N = ToricLattice(1).submodule([(1)]).dual() sage: sage.geometry.toric_lattice.is_ToricLattice(N) sage: sigma = Cone([N(1)], N) sigma.dual()

Expected Behavior

I expected the second line above to return True and the fourth line to successfully execute.

Actual Behavior

The second line returns False, and the fourth line produces Error in lines 3-3 Traceback (most recent call last): File "sage/structure/category_object.pyx", line 855, in sage.structure.category_object.CategoryObject.getattr_from_category return self._cached_methods[name] KeyError: 'vector_space_span_of_basis' `During handling of the above exception, another exception occurred:` Traceback (most recent call last): File "/cocalc/lib/python3.11/site-packages/smc_sagews/sage_server.py", line 1244, in execute exec( File "", line 1, in <module> File "sage/misc/lazy_import.pyx", line 409, in sage.misc.lazy_import.LazyImport.__call__ return self.get_object()(*args, **kwds) File "/ext/sage/10.3/src/sage/geometry/cone.py", line 460, in Cone rays = normalize_rays(rays, lattice) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/ext/sage/10.3/src/sage/geometry/cone.py", line 739, in normalize_rays V = lattice.vector_space_span_of_basis(lattice.basis()) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "sage/structure/category_object.pyx", line 849, in sage.structure.category_object.CategoryObject.__getattr__ return self.getattr_from_category(name) File "sage/structure/category_object.pyx", line 864, in sage.structure.category_object.CategoryObject.getattr_from_category attr = getattr_from_other_class(self, cls, name) File "sage/cpython/getattr.pyx", line 357, in sage.cpython.getattr.getattr_from_other_class raise AttributeError(dummy_error_message) AttributeError: 'ToricLattice_quotient_with_category' object has no attribute 'vector_space_span_of_basis'

Additional Information

No response

Environment

- Executed on CoCalc

Checklist