Code

Sheaf cohomology improvements#3238

Code

Closed

HechtiDerLachs wants to merge 34 commits intooscar-system:masteroscar-system/Oscar.jl:masterfrom HechtiDerLachs:sheaf_cohom_improvementsHechtiDerLachs/Oscar.jl:sheaf_cohom_improvementsCopy head branch name to clipboard

+416-202

Commits

Commits on Jan 24, 2024

• Some small fix for Wolfram.

  HechtiDerLachs

  committed
  8f128cd

  Copy full SHA for 8f128cd

• Another small fix for Wolfram.

  HechtiDerLachs

  committed
  a9bc8b7

  Copy full SHA for a9bc8b7

• Fix the fix.

  HechtiDerLachs

  committed
  10f6da5

  Copy full SHA for 10f6da5

• Address oscar-system#2999 a bit.

  HechtiDerLachs

  committed
  816e940

  Copy full SHA for 816e940

• Fix tests.

  HechtiDerLachs

  committed
  b4d246b

  Copy full SHA for b4d246b

• Fix docstring.

  HechtiDerLachs

  committed
  bb0efe5

  Copy full SHA for bb0efe5

• Add internal method for fast determination of the degree.

  HechtiDerLachs

  committed
  39ea71c

  Copy full SHA for 39ea71c

• Avoid creating some matrices.

  HechtiDerLachs

  committed
  2b71b7a

  Copy full SHA for 2b71b7a

• Make the graded modules use the new internal method.

  HechtiDerLachs

  committed
  5a8594f

  Copy full SHA for 5a8594f

• Add missing internal method.

  HechtiDerLachs

  committed
  516f829

  Copy full SHA for 516f829

• Repair docs.

  HechtiDerLachs

  committed
  abb3dbc

  Copy full SHA for abb3dbc

• Fix tests.

  HechtiDerLachs

  committed
  227c131

  Copy full SHA for 227c131

• Use sparse matrices.

  HechtiDerLachs

  committed
  d67888b

  Copy full SHA for d67888b

Commits on Jan 25, 2024

• Fix tests.

  HechtiDerLachs

  committed
  489ee3e

  Copy full SHA for 489ee3e

• Revert "Fix tests."

  Show description for 47a0459
  HechtiDerLachs

  committed
  47a0459

  Copy full SHA for 47a0459

• Revert "Revert "Fix tests.""

  Show description for 7a627b0
  HechtiDerLachs

  committed
  7a627b0

  Copy full SHA for 7a627b0

• Revert "Use sparse matrices."

  Show description for 83bffbd
  HechtiDerLachs

  committed
  83bffbd

  Copy full SHA for 83bffbd

• Another fix.

  HechtiDerLachs

  committed
  d4c1bae

  Copy full SHA for d4c1bae

• Add some missing methods.

  HechtiDerLachs

  committed
  ba457b0

  Copy full SHA for ba457b0

• Fix degree function for SubquoModuleElems.

  HechtiDerLachs

  committed
  f2ca5c2

  Copy full SHA for f2ca5c2

• Fix degree function for SubquoModuleElems over generic rings.

  HechtiDerLachs

  committed
  dafe342

  Copy full SHA for dafe342

• Fix signature.

  HechtiDerLachs

  committed
  616b885

  Copy full SHA for 616b885

• Restrict signature.

  HechtiDerLachs

  committed
  11bfd3e

  Copy full SHA for 11bfd3e

• Repair simplify to avoid infinite loops.

  HechtiDerLachs

  committed
  ba0e12e

  Copy full SHA for ba0e12e

• Add some extra assertions.

  HechtiDerLachs

  committed
  d33020d

  Copy full SHA for d33020d

• Temporarily disable some failing tests.

  HechtiDerLachs

  committed
  817558d

  Copy full SHA for 817558d

• WIP on debugging.

  HechtiDerLachs

  committed
  cdeaf0e

  Copy full SHA for cdeaf0e

• Preliminary closure with messages left where to pick up on the issues

  Show description for 652d9b5
  HechtiDerLachs

  committed
  652d9b5

  Copy full SHA for 652d9b5

Commits on Jan 31, 2024

• Overhaul degree.

  HechtiDerLachs

  committed
  53ac73d

  Copy full SHA for 53ac73d

• Make current tests run.

  HechtiDerLachs

  committed
  2651550

  Copy full SHA for 2651550

• Fix tests.

  HechtiDerLachs

  committed
  17e9ddb

  Copy full SHA for 17e9ddb

Commits on Feb 1, 2024

• Adjust internal usage of degree.

  HechtiDerLachs

  committed
  bf5f872

  Copy full SHA for bf5f872

• Widen some degree signatures.

  HechtiDerLachs

  committed
  6ccaefe

  Copy full SHA for 6ccaefe

• Pass the check flag in the creation of homs.

  HechtiDerLachs

  committed
  b651fa7

  Copy full SHA for b651fa7