Code

Algebraic geometry directory#1100

Code

Closed

mzeuner wants to merge 67 commits intoagda:masteragda/cubical:masterfrom mzeuner:AlgebraicGeometryDirmzeuner/cubical:AlgebraicGeometryDirCopy head branch name to clipboard

+1,814-585

Commits

Commits on Aug 23, 2021

• use improved ringsolver

  mzeuner

  committed
  7d4cdfa

  Copy full SHA for 7d4cdfa

• delete one more line

  mzeuner

  committed
  e4d5d8d

  Copy full SHA for e4d5d8d

Commits on Aug 26, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  302c25a

  Copy full SHA for 302c25a

Commits on Nov 2, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  5fe247f

  Copy full SHA for 5fe247f

Commits on Nov 22, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  3f2e7f8

  Copy full SHA for 3f2e7f8

Commits on Dec 9, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  c29f845

  Copy full SHA for c29f845

Commits on Dec 15, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  d83b855

  Copy full SHA for d83b855

Commits on Dec 16, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  63c770b

  Copy full SHA for 63c770b

Commits on Dec 17, 2021

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  2ed6538

  Copy full SHA for 2ed6538

Commits on Jan 4, 2022

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  c35bc4d

  Copy full SHA for c35bc4d

Commits on Jan 7, 2022

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  808e042

  Copy full SHA for 808e042

Commits on Jan 10, 2022

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  18d797c

  Copy full SHA for 18d797c

Commits on Jan 25, 2022

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  591c1b7

  Copy full SHA for 591c1b7

Commits on Jan 27, 2022

• Merge branch 'master' of https://github.com/agda/cubical

  mzeuner

  committed
  0e1bd40

  Copy full SHA for 0e1bd40

Commits on Mar 14, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  0b8f3c0

  Copy full SHA for 0b8f3c0

Commits on Apr 6, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  4a91d86

  Copy full SHA for 4a91d86

• Merge branch 'master' of github.com:mzeuner/cubical

  mzeuner

  committed
  30cfe2f

  Copy full SHA for 30cfe2f

Commits on May 12, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  4e7f178

  Copy full SHA for 4e7f178

Commits on Aug 9, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  3e07b19

  Copy full SHA for 3e07b19

Commits on Aug 11, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  d5135d5

  Copy full SHA for d5135d5

• Merge branch 'master' of github.com:mzeuner/cubical

  mzeuner

  committed
  1014c10

  Copy full SHA for 1014c10

Commits on Sep 6, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  559f835

  Copy full SHA for 559f835

Commits on Nov 23, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  9b4166d

  Copy full SHA for 9b4166d

Commits on Dec 15, 2022

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  52d87b5

  Copy full SHA for 52d87b5

Commits on Feb 6, 2023

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  25b3b35

  Copy full SHA for 25b3b35

Commits on Feb 23, 2023

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  f0ab030

  Copy full SHA for f0ab030

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  bcb3fa9

  Copy full SHA for bcb3fa9

Commits on Feb 28, 2023

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  1624210

  Copy full SHA for 1624210

Commits on Mar 6, 2023

• Merge branch 'master' of github.com:mzeuner/cubical

  mzeuner

  committed
  e11bb18

  Copy full SHA for e11bb18

Commits on May 2, 2023

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  5263ae5

  Copy full SHA for 5263ae5

Commits on Jun 26, 2023

• Merge branch 'master' of github.com:mzeuner/cubical

  mzeuner

  committed
  8632bf4

  Copy full SHA for 8632bf4

Commits on Jun 29, 2023

• Merge branch 'master' of github.com:mzeuner/cubical

  mzeuner

  committed
  e23b691

  Copy full SHA for e23b691

Commits on Jul 27, 2023

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  ce9d598

  Copy full SHA for ce9d598

Commits on Oct 10, 2023

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  8629581

  Copy full SHA for 8629581

• Merge branch 'master' of github.com:mzeuner/cubical

  mzeuner

  committed
  09fc8f4

  Copy full SHA for 09fc8f4

Commits on Nov 13, 2023

• Merge branch 'master' of github.com:mzeuner/cubical

  mzeuner

  committed
  3478bf4

  Copy full SHA for 3478bf4

Commits on Nov 23, 2023

• Merge branch 'master' of github.com:agda/cubical

  mzeuner

  committed
  bf836d2

  Copy full SHA for bf836d2

Commits on Nov 27, 2023

• (wip) for Zariski coverage on CommRing

  Show description for fac763b
  MatthiasHu

  committed
  fac763b

  Copy full SHA for fac763b

• Merge branch 'Zariski-coverage-on-CRing' of github.com:MatthiasHu/cubical into ZariskiSite

  mzeuner

  committed
  dc62e42

  Copy full SHA for dc62e42

Commits on Nov 30, 2023

• pullback stability

  mzeuner

  committed
  bbd7336

  Copy full SHA for bbd7336

Commits on Dec 1, 2023

• 1 ideal lemma

  mzeuner

  committed
  76b4e65

  Copy full SHA for 76b4e65

Commits on Dec 4, 2023

• only zero case left

  mzeuner

  committed
  c93f9ec

  Copy full SHA for c93f9ec

• finish zero case

  mzeuner

  committed
  095f7a1

  Copy full SHA for 095f7a1

Commits on Dec 5, 2023

• def of scheme

  mzeuner

  committed
  5aa1430

  Copy full SHA for 5aa1430

Commits on Dec 6, 2023

• renaming

  mzeuner

  committed
  9b40562

  Copy full SHA for 9b40562

Commits on Jan 17, 2024

• cleanup aff sch

  mzeuner

  committed
  947871f

  Copy full SHA for 947871f

Commits on Jan 18, 2024

• def standard affine open

  mzeuner

  committed
  5e0fbc9

  Copy full SHA for 5e0fbc9

Commits on Jan 19, 2024

• finish standard affine opens

  mzeuner

  committed
  ecb6c58

  Copy full SHA for ecb6c58

Commits on Jan 22, 2024

• towards opens of affines

  mzeuner

  committed
  463a37a

  Copy full SHA for 463a37a

Commits on Jan 23, 2024

• discussion

  mzeuner

  committed
  1b1f27b

  Copy full SHA for 1b1f27b

Commits on Jan 24, 2024

• little progress

  mzeuner

  committed
  c1789d7

  Copy full SHA for c1789d7

Commits on Jan 26, 2024

• towards separatedness

  mzeuner

  committed
  3105ce4

  Copy full SHA for 3105ce4

Commits on Jan 29, 2024

• separatedness

  mzeuner

  committed
  d9f8d3f

  Copy full SHA for d9f8d3f

• locality

  mzeuner

  committed
  8cf0551

  Copy full SHA for 8cf0551

Commits on Jan 31, 2024

• towards aff cover

  mzeuner

  committed
  eb5d2ac

  Copy full SHA for eb5d2ac

• give up

  mzeuner

  committed
  e2215d8

  Copy full SHA for e2215d8

Commits on Feb 1, 2024

• finish

  mzeuner

  committed
  c53e0ea

  Copy full SHA for c53e0ea

• cleanup

  mzeuner

  committed
  bf3debd

  Copy full SHA for bf3debd

Commits on Feb 6, 2024

• make directory

  mzeuner

  committed
  9741a31

  Copy full SHA for 9741a31

Commits on Feb 7, 2024

• add alg geo to README

  mzeuner

  committed
  fe57f8a

  Copy full SHA for fe57f8a

Commits on Feb 8, 2024

• typos

  MatthiasHu

  committed
  c0e8c4b

  Copy full SHA for c0e8c4b

• fix accidentally public module

  MatthiasHu

  committed
  93d52b5

  Copy full SHA for 93d52b5

• avoid code duplication

  MatthiasHu

  committed
  73cc74a

  Copy full SHA for 73cc74a

• improve comment

  MatthiasHu

  committed
  2c4d6d1

  Copy full SHA for 2c4d6d1

• improve comments

  MatthiasHu

  committed
  e8935f1

  Copy full SHA for e8935f1

Commits on Feb 13, 2024

• Merge branch 'AlgebraicGeometryDir' into AlgGeoDir-cleanup

  MatthiasHu

  committed
  5a280bc

  Copy full SHA for 5a280bc

• named module StandardOpens

  MatthiasHu

  committed
  d41b178

  Copy full SHA for d41b178