CurrentModule = Oscar
Toric varieties are special instances of schemes. As such, all scheme functionality is available to toric varieties.
We aim for a seamless transition among toric varieties and covered schemes.
One advantage is that we can hope for improved performance of scheme functionality by using toric backends when applicable. In addition, one can apply powerful scheme computations to toric settings, thus extending the available toolkit significantly.
The user can extract the scheme corresponding to a toric variety as follows:
underlying_scheme(X::AffineNormalToricVariety)
underlying_scheme(X::NormalToricVariety)
We also provide functionality to forget the toric structure completely. In this sense, the following methods return the underlying covered scheme, but this scheme does not remember being a toric variety.
forget_toric_structure(X::AffineNormalToricVariety)
forget_toric_structure(X::NormalToricVariety)
Please direct questions about this part of OSCAR to the following people:
You can ask questions in the OSCAR Slack.
Alternatively, you can raise an issue on github.