Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

Macaulay2 / M2 Public

Notifications You must be signed in to change notification settings
Fork 239
Star 353

Code
Issues 693
Pull requests 28
Discussions
Actions
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Discussions
Actions
Wiki
Security
Insights

Improvements to Simplicial Toric Varieties#3582

Open

mahrud wants to merge 227 commits intoMacaulay2:developmentMacaulay2/M2:developmentfrom mahrud:feature/toricmahrud/M2:feature/toricCopy head branch name to clipboard

+3,910-1,376

Conversation Commits227 (227)Checks Files changed

Commits

Commits on Nov 22, 2024

added hook for non-free maps in quotient & quotient'
mahrud
committed
commented a few methods of \\
mahrud
committed
updated docs for quotient and quotient'
mahrud
committed
changed BettiCharacters to use left factorization via \\
mahrud
committed
fixed a test based on the augmented form of \\
mahrud
committed
added tests for quotient' for non-free maps
mahrud
committed
separated ZZ and InexactField strategies for (quotient, Matrix, Matrix)
mahrud
committed
added slight optimization for quotient and quotient'
mahrud
committed
added length limits for connectingExtMap

Devlin-Mallory
authored and
mahrud
committed
added method for truncating source of map more than target
mahrud
committed
fixed bug in prune for coherent sheaves on toric varieties
mahrud
committed
cached the output of nefGenerators
mahrud
committed
cached variety of a ring in R.variety
mahrud
committed
cached minimal presentation of SheafMap
mahrud
committed
preserved components after sheafification
mahrud
committed
added check that rings of projective varieties are standard graded
mahrud
committed
added extra constructors for SheafMap
mahrud
committed
added isIsomorphic for CoherentSheaf and SheafMap
mahrud
committed
changed "isIsomorphic" to prune rather than truncate, as discussed today

Devlin-Mallory
authored and
mahrud
committed
added SheafMap == SheafMap
mahrud
committed
improved global Ext of sheaves
mahrud
committed
avoided minimization of truncations for sheaf map algorithms
mahrud
committed
added Complexes to dependencies of Varieties
mahrud
committed
added yonedaSheafExtension
mahrud
committed
changed sheaf map composition, SheafMap == ZZ, and started connecting

Devlin-Mallory
authored and
mahrud
committed
added concatenation (| and ||) for sheaf maps

Devlin-Mallory
authored and
mahrud
committed
fixed composition, homology, homomorphism, symmetricPower

Devlin-Mallory
authored and
mahrud
committed
moved sheaf map tests to tests-maps.m2
mahrud
committed
added test for isIsomorphism with timing
mahrud
committed
reverted to the previous isIsomorphic code
mahrud
committed
added one to regularity for == and isIsomorphic
mahrud
committed
minimalGenerators => false and added some tests

Devlin-Mallory
authored and
mahrud
committed
fixed an issue with pruning sheafMaps

Devlin-Mallory
authored and
mahrud
committed
first working connectingExtMap version + test

Devlin-Mallory
authored and
mahrud
committed
added tests for consistent truncations
mahrud
committed
fixed bug in isWellDefined for inverse of sheaf maps
mahrud
committed
passed LengthLimit in connectingExtMap
mahrud
committed
fixed some tests, removed bug we introduced in homology

Devlin-Mallory
authored and
mahrud
committed
added ^** for Matrix and SheafMap and a non-working test
mahrud
committed
added (broken) potential fix for tensor

Devlin-Mallory
authored and
mahrud
committed
added twisted cubic test
mahrud
committed
added basic arithmetic ops for SheafMap
mahrud
committed
added helper for truncating sheaf maps to common degree
mahrud
committed
fixed a test for connectingExtMap
mahrud
committed
fixed inducedMap for coherent sheaves and added a test
mahrud
committed
changed needs to load for package subfiles
mahrud
committed
fixed a bug in global Ext and set it to truncate
mahrud
committed
fixed the target sheaf in the SheafMap constructor
mahrud
committed
fixed == for SheafMap with conservative pruning
mahrud
committed
fixed tensor of sheaf maps, with some caveats
mahrud
committed
fixed the source of dual SheafMap (but not target)
mahrud
committed
added random(CoherentSheaf,CoherentSheaf)
mahrud
committed
changed variety R to return Proj R if no variety is defined yet
mahrud
committed
added sheaf Ideal which returns a coherent sheaf
mahrud
committed
replaced sheafMap with sheaf
mahrud
committed
added factoring of sheaf maps (f // g)
mahrud
committed
separated quotient and quotient' for sheaf maps
mahrud
committed
specified variety in calls to sheaf
mahrud
committed
added sheafMap back with a deprecation warning
mahrud
committed
stashed the variety directly in sheaf maps
mahrud
committed
removed degree SheafMap
mahrud
committed
fixed bug in isIsomorphic
mahrud
committed
added exterior/symmetric powers of sheaf maps
mahrud
committed
added isLocallyFree CoherentSheaf

Devlin-Mallory
authored and
mahrud
committed
added eulerSequence and cotangentSurjection

Devlin-Mallory
authored and
mahrud
committed
replaced M~ with M^~ for sheafification
mahrud
committed
added deprecation warning for ~
mahrud
committed
fixed tests broken by Complexes
mahrud
committed
wip: added complexes of sheaves
mahrud
committed
wip: added yonedaSheafExtension'
mahrud
committed
wip: cache Hom info in target of homomorphism'
mahrud
committed
added embeddedToAbstract and tests

Devlin-Mallory
authored and
mahrud
committed
simplified subtruncate
mahrud
committed
added benchmark test for prune

Devlin-Mallory
authored and
mahrud
committed
added CoherentSheaf ? CoherentSheaf for sorting
mahrud
committed
testing Keller's methods

Devlin-Mallory
authored and
mahrud
committed
first attempt at ExtLongExactSequence

Devlin-Mallory
authored and
mahrud
committed
documented isProjective
mahrud
committed
added isSmooth(Variety)
mahrud
committed
documented isSmooth(Variety)
mahrud
committed
documented AffineVariety ** AffineVariety
mahrud
committed
added doc stub for singularLocus of varieties
mahrud
committed
added doc stub ambient for varieties
mahrud
committed
added doc stub for isWellDefined for varieties
mahrud
committed
added initial documentation nodes for SheafMap and constructors
mahrud
committed
documented isWellDefined for coherent sheaves
mahrud
committed
documented rank for coherent sheaves
mahrud
committed
documented degrees of a coherent sheaf
mahrud
committed
documented random for morphisms of coherent sheaves
mahrud
committed
documented isWellDefined for morphisms of coherent sheaves
mahrud
committed
documented variety(SheafMap)
mahrud
committed
documented matrix(SheafMap)
mahrud
committed
documented sheaf(Ideal)
mahrud
committed
(un)documented arithmetic operations for sheaf maps
mahrud
committed
(un)documented some arithmetic methods for coherent sheaves
mahrud
committed
documented stub for sheafHom of sheaf maps
mahrud
committed
documented sheaf(Variety,Ideal)
mahrud
committed
documented stub for induced maps of sheaf maps
mahrud
committed
potential fix for concentration problems

Devlin-Mallory
authored and
mahrud
committed
added isSurjective(SheafMap)

Devlin-Mallory
authored and
mahrud
committed
split map and sheaf constructor of sheaf maps
mahrud
committed
added documentation stub for canonicalBundle
mahrud
committed
moved the documentation of tangentSheaf
mahrud
committed
moved the documentation of cotangentSheaf
mahrud
committed
added degree(SheafMap) as degree matrix phi
mahrud
committed
changed synonym of SheafMap to lowercase
mahrud
committed
fixed pluralize for sheaves and varieties
mahrud
committed
used pluralsynonym in directSum
mahrud
committed
added applyUniformMethod for directSum and pullback/pushout
mahrud
committed
added pullback/pushout for list of sheaf maps
mahrud
committed
unexported isLiftable
mahrud
committed
added documentation stubs for special sheaf maps
mahrud
committed
added an affine test and moved varieties tests
mahrud
committed
expanded isLocallyFree
mahrud
committed
documented isLocallyFree
mahrud
committed
unexported TruncateDegree
mahrud
committed
added doc stub for prune(SheafMap)
mahrud
committed
improved documentation of sheafHom
mahrud
committed
added helper 'syn' for documentation
mahrud
committed
improved docs for (Ext, ZZ, CoherentSheaf, SumOfTwists)
mahrud
committed
improved docs for (cohomology, ZZ, SheafOfRings)
mahrud
committed
improved docs for (cohomology, ZZ, SumOfTwists)
mahrud
committed
improved docs for (cohomology, ZZ, CoherentSheaf)
mahrud
committed
improved docs for (Ext, ZZ, CoherentSheaf, CoherentSheaf)
mahrud
committed
improved docs for (sheafExt, ZZ, CoherentSheaf, CoherentSheaf)
mahrud
committed
improved docs for (hh, Sequence, ProjectiveVariety)
mahrud
committed
improved docs for (Hom, CoherentSheaf, CoherentSheaf)
mahrud
committed
added various doc stubs for Varieties
mahrud
committed
undocumented SheafExpression
mahrud
committed
fixed char ProjectiveVariety

Devlin-Mallory
authored and
mahrud
committed
added test for saturation in char

Devlin-Mallory
authored and
mahrud
committed
hookified pdim CoherentSheaf
mahrud
committed
added compatibility functions for 1.24.05
mahrud
committed
added global assignment function for sheaves
mahrud
committed
fixed load paths in SheafMaps
mahrud
committed
added (sheaf, Complex)

kellerlv
authored and
mahrud
committed
added miscellaneous fixes for complexes of sheaves

kellerlv
authored and
mahrud
committed
removed basis from Varieties
mahrud
committed
moved component of CoherentSheaf to Varieties
mahrud
committed
connectingExtMap gives an error!

johndcobb
authored and
mahrud
committed
hookified complex of a list or hash table

johndcobb
authored and
mahrud
committed
fixed tensor of complexes of sheaves

johndcobb
authored and
mahrud
committed
removed hooks from Complexes
mahrud
committed
added preliminary code for RHom

kellerlv
authored and
mahrud
committed
added global Ext of complex

kellerlv
authored and
mahrud
committed
simplified constructor of complexes
mahrud
committed
reordered exports in Varieties
mahrud
committed
added Euler sequence as a test of sheaf complexes
mahrud
committed
changed yonedaSheafExtension to return a complex
mahrud
committed
moved docs for eulerSequence and yonedaSheafExtension
mahrud
committed
added additional methods for RHom

kellerlv
authored and
mahrud
committed
added more sheafHom methods

johndcobb
authored and
mahrud
committed
fixed sheafHom of complexes
mahrud
committed
added (complex, CoherentSheaf)
mahrud
committed
simplified tensor of complexes of sheaves
mahrud
committed
added helper methods for maps of sheaves

johndcobb
authored and
mahrud
committed
added potential fix for installPackage issue
mahrud
committed
added more tests

DanielApsley
authored and
mahrud
committed
added to tests

kellerlv
authored and
mahrud
committed
added idealSheaf

johndcobb
authored and
mahrud
committed
documented idealSheaf

johndcobb
authored and
mahrud
committed
added name to authors

johndcobb
authored and
mahrud
committed
deleted sheafOf

kellerlv
authored and
mahrud
committed
added (euler, Complex)

DanielApsley
authored and
mahrud
committed
added idealSheafSequence

johndcobb
authored and
mahrud
committed
fixed syntax errors

johndcobb
authored and
mahrud
committed
allow quick documentation loading

johndcobb
authored and
mahrud
committed
updated documentation of idealSheafSequence

johndcobb
authored and
mahrud
committed
added commutativity to RingElement * SheafMap

DanielApsley
authored and
mahrud
committed
documented ^, ^**, ++

johndcobb
authored and
mahrud
committed
added code for tensoring a complex of sheaves by a sheaf

johndcobb
authored and
mahrud
committed
fixed prune for zero sheaf maps
mahrud
committed
flattened complexes and modules in RHom and Ext of sheaf complexes
mahrud
committed
simplified some sheaf complex constructors
mahrud
committed
added more tests

DanielApsley
authored and
mahrud
committed
added sheaf and module for a map of complexes

johndcobb
authored and
mahrud
committed
fixed flattenComplex in Varieties
mahrud
committed
simplified RHom for complexes of sheaves
mahrud
committed
simplified cohomology of complexes of sheaves
mahrud
committed
removed backported section from workshop
mahrud
committed
fixed (matrix, List) and added isMorphism, isAbelianCategory
mahrud
committed
fixed canonicalBundle in the singular case

Devlin-Mallory
authored and
mahrud
committed
added failing test for Hom

Devlin-Mallory
authored and
mahrud
committed
commented some sheafHom methods
mahrud
committed
fixed bug in truncation degree in Hom

Devlin-Mallory
authored and
mahrud
committed
switched to part instead of cxToField basis
mahrud
committed
removed some sheafHom methods
mahrud
committed
simplified tensor of sheaf maps and complexes
mahrud
committed
switched to using complex applyValues in Ext
mahrud
committed
added part for modules, matrices, ideals, and rings
mahrud
committed
switched to using part instead of moveToField
mahrud
committed
added part for ring maps
mahrud
committed
changed ring of sheaves to return OO_X
mahrud
committed
simplified commonRing so it can handle a SheafMap (temporary fix)
mahrud
committed
changed SheafOfRings to inherit from Ring
mahrud
committed
added isWellDefined and isCommutative for SheafOfRings
mahrud
committed
changed a line in documentation of basis
mahrud
committed
removed HH^ZZ Complex from Varieties
mahrud
committed
Small documentation addition

kellerlv
authored and
mahrud
committed
small fix to documentation

Devlin-Mallory
authored and
mahrud
committed
some changes to canonicalBundle

Devlin-Mallory
authored and
mahrud
committed
some changes; bug left to be fixed though

Devlin-Mallory
authored and
mahrud
committed
added HH^i(F(*)) to usage for cohomology
mahrud
committed
removed DegreeLimit in Hom, which causes issues in inverse

Devlin-Mallory
authored and
mahrud
committed
temporarily disable SheafComplexes
mahrud
committed
bumped version of Varieties
mahrud
committed
added test for truncation in presence of torsion
mahrud
committed
added support for partial multidegrees in basis'
mahrud
committed
added test for basis'
mahrud
committed
fixed caching in Truncations
mahrud
committed
added caching for coneFromVData(Matrix)
mahrud
committed
added isQQFano in NormalToricVarieties
mahrud
committed
cached isFano for NormalToricVariety
mahrud
committed
simplified classGroup and picardGroup for ToricMap
mahrud
committed
fixed a bug in picardGroup ToricMap
mahrud
committed
added test for classGroup and picardGroup for ToricMap
mahrud
committed
fixed a bug in inducedMap for simplicial toric varieties
mahrud
committed
changed vertices ToricDivisor to always return a matrix
mahrud
committed
fixed cohomology for simplicial toric varieties
mahrud
committed
added basis' as new basis strategy over toric varieties
mahrud
committed
added test for basis' in Truncations
mahrud
committed
added temporary workaround for rawSelectByDegrees bug
mahrud
committed
added tests for basis in presense of torsion
mahrud
committed
fixed minor bug in basis with torsion degrees
mahrud
committed
fixed a couple of bugs in basis'
mahrud
committed
fixed the documentation of vertices and latticePoints
mahrud
committed
fixed a bug in basis'
mahrud
committed

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.