ZariskiFrames

(Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties

Version 2022.10-01
Released 2022-10-25

This project is maintained by Mohamed Barakat, Tom Kuhmichel

ZariskiFrames View code

(Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties

Documentation Latest Release Build Status Code Coverage
HTML stable documentation PDF stable documentation version date Build Status Code Coverage

Dependencies

To obtain current versions of all dependencies, git clone (or git pull to update) the following repositories:

Repository git URL
1. homalg_project https://github.com/homalg-project/homalg_project.git
2. CAP_project https://github.com/homalg-project/CAP_project.git
3. Toposes https://github.com/homalg-project/Toposes.git
4. CategoryConstructor https://github.com/homalg-project/CategoryConstructor.git
5. Locales https://github.com/homalg-project/Locales.git