Skip to content

Conversation

local-ring
Copy link
Contributor

@local-ring local-ring commented Jun 19, 2025

This is implementation of Batyrev's paper in 1999 on construction of smooth toric Fano 3-fold/4-fold to enrich the current library of the toric varieties, which can be served as the playground for derived categories in the future.

We borrow the ingredient from the database of the smooth reflexive lattice polytopes.

Part of #40269
cc: @tscrim

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation and checked the documentation preview.

⌛ Dependencies

#40416: we use the the class as the base class for smooth Fano toric varieties

@tscrim tscrim added the gsoc: 2025 Tag for GSoC2025 issues/PRs label Jun 19, 2025
Copy link

github-actions bot commented Jun 19, 2025

Documentation preview for this PR (built with commit 90a8871; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

@fchapoton
Copy link
Contributor

You need to add the new file to the meson build system, probably to src/sage/schemes/toric/meson.build

@fchapoton
Copy link
Contributor

I have done it for you. Beware to pull the branch before doing further work.

@fchapoton
Copy link
Contributor

you need to fix the linter (see Lint in the checks) and also

/home/runner/work/sage/sage/src/sage/schemes/toric/batyrev.py:7:8 - error: "sys" is imported more than once (reportDuplicateImport)
35380
Error: "sys" is imported more than once (reportDuplicateImport)

@local-ring
Copy link
Contributor Author

You need to add the new file to the meson build system, probably to src/sage/schemes/toric/meson.build

thanks a lot for pointing this out and fixing it!

@local-ring
Copy link
Contributor Author

you need to fix the linter (see Lint in the checks) and also

/home/runner/work/sage/sage/src/sage/schemes/toric/batyrev.py:7:8 - error: "sys" is imported more than once (reportDuplicateImport)
35380
Error: "sys" is imported more than once (reportDuplicateImport)

Thanks! I will make sure to take care of this after a relative complete version of my work.

@local-ring local-ring force-pushed the generating-toric-varieties branch from 303536a to 5b42c65 Compare July 15, 2025 23:49
@local-ring local-ring changed the title Add Batyrev's construction of toric varieties to toric library Add Batyrev's smooth fano toric varieties of dim 3 and 4 to toric library Jul 15, 2025
@fchapoton
Copy link
Contributor

you have a meson issue, as you add another new file

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants