https://github.com/homalg-project/zariskiframes

[READ-ONLY-SUBSPLIT] (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties
https://github.com/homalg-project/zariskiframes

affine-variety constructible-sets locales locally-closed-sets projective-variety quasi-affine-variety toric-variety zariski-coframes zariski-frames zariski-topology

Last synced: about 2 months ago
JSON representation

[READ-ONLY-SUBSPLIT] (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties

• Host: GitHub
• URL: https://github.com/homalg-project/zariskiframes
• Owner: homalg-project
• License: gpl-2.0
• Created: 2018-07-31T13:17:16.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2024-11-09T09:31:04.000Z (about 2 months ago)
• Last Synced: 2024-11-09T10:25:19.568Z (about 2 months ago)
• Topics: affine-variety, constructible-sets, locales, locally-closed-sets, projective-variety, quasi-affine-variety, toric-variety, zariski-coframes, zariski-frames, zariski-topology
• Language: GAP
• Homepage: https://homalg-project.github.io/pkg/ZariskiFrames/
• Size: 1.21 MB
• Stars: 0
• Watchers: 7
• Forks: 3
• Open Issues: 6
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        

# ZariskiFrames [![View code][code-img]][code-url]

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

| Documentation | Latest Release | Build Status of [CategoricalTowers](/../../) | Code Coverage |

| ------------- | -------------- | ------------ | ------------- |

| [![HTML stable documentation][html-img]][html-url] [![PDF stable documentation][pdf-img]][pdf-url] | [![version][version-img]][version-url] [![date][date-img]][date-url] | [![Build Status][tests-img]][tests-url] | [![Code Coverage][codecov-img]][codecov-url] |

---

### 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#readme) | https://github.com/homalg-project/homalg_project.git |

| 2. | [**CAP_project**](https://github.com/homalg-project/CAP_project#readme) | https://github.com/homalg-project/CAP_project.git |

[html-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg

[html-url]: https://homalg-project.github.io/CategoricalTowers/ZariskiFrames/doc/chap0_mj.html

[pdf-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg

[pdf-url]: https://homalg-project.github.io/CategoricalTowers/ZariskiFrames/download_pdf.html

[version-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CategoricalTowers/ZariskiFrames/badge_version.json&label=🔗%20version&color=yellow

[version-url]: https://homalg-project.github.io/CategoricalTowers/ZariskiFrames/view_release.html

[date-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CategoricalTowers/ZariskiFrames/badge_date.json&label=🔗%20released%20on&color=yellow

[date-url]: https://homalg-project.github.io/CategoricalTowers/ZariskiFrames/view_release.html

[tests-img]: https://github.com/homalg-project/CategoricalTowers/actions/workflows/Tests.yml/badge.svg?branch=master

[tests-url]: https://github.com/homalg-project/CategoricalTowers/actions/workflows/Tests.yml?query=branch%3Amaster

[codecov-img]: https://codecov.io/gh/homalg-project/CategoricalTowers/branch/master/graph/badge.svg?flag=ZariskiFrames

[codecov-url]: https://app.codecov.io/gh/homalg-project/CategoricalTowers/tree/master/ZariskiFrames

[code-img]: https://img.shields.io/badge/-View%20code-blue?logo=github

[code-url]: https://github.com/homalg-project/CategoricalTowers/tree/master/ZariskiFrames#top