mahrud
commented
1 week ago - fixed bug in prune for coherent sheaves on toric varieties
- cached the output of nefGenerators
- cached variety of a ring in R.variety
- cached minimal presentation of SheafMap
- preserved components after sheafification
- added check that rings of projective varieties are standard graded
- added extra constructors for SheafMap
- added isIsomorphic for CoherentSheaf and SheafMap
- changed "isIsomorphic" to prune rather than truncate, as discussed today
- added SheafMap == SheafMap
- added formation for Ext modules in Complexes
- improved global Ext of sheaves
- avoided minimization of truncations for sheaf map algorithms
- added yonedaSheafExtension
- changed sheaf map composition, SheafMap == ZZ, and started connecting homomorphism
- added concatenation (| and ||) for sheaf maps
- fixed composition, homology, homomorphism, symmetricPower
- moved sheaf map tests to tests-maps.m2
- added test for isIsomorphism with timing
- reverted to the previous isIsomorphic code
- added one to regularity for == and isIsomorphic
- minimalGenerators => false and added some tests
- fixed an issue with pruning sheafMaps
- first working connectingExtMap version + test
- added tests for consistent truncations
- added length limits for Complexes and connectingExtMap
- fixed some tests, removed bug we introduced in homology
- added ^ for Matrix and SheafMap and a non-working test**
- added (broken) potential fix for tensor
- added twisted cubic test
- added basic arithmetic ops for SheafMap
- added helper for truncating sheaf maps to common degree
- fixed a test for connectingExtMap
- fixed inducedMap for coherent sheaves and added a test
- changed needs to load for package subfiles
- fixed a bug in global Ext and set it to truncate
- fixed the target sheaf in the SheafMap constructor
- fixed == for SheafMap with conservative pruning
- fixed tensor of sheaf maps, with some caveats
- fixed the source of dual SheafMap (but not target)
- added random(CoherentSheaf,CoherentSheaf)
- changed variety R to return Proj R if no variety is defined yet
- added sheaf Ideal which returns a coherent sheaf
- replaced sheafMap with sheaf
- added factoring of sheaf maps (f // g)
- added hook for non-free maps in quotient & quotient'
- separated quotient and quotient' for sheaf maps
- commented a few methods of \
- updated docs for quotient and quotient'
- specified variety in calls to sheaf
- added sheafMap back with a deprecation warning
- stashed the variety directly in sheaf maps
- removed degree SheafMap
- changed BettiCharacters to use left factorization via \
- fixed a test based on the augmented form of \
- fixed bug in isIsomorphic
- added exterior/symmetric powers of sheaf maps
- added isLocallyFree CoherentSheaf
- added eulerSequence and cotangentSurjection
- replaced M~ with M^~ for sheafification
- added deprecation warning for ~
- REMOVE ME: enabled testing on GitHub Actions
- fixed tests broken by Complexes
- wip: add subvariety(Ring, Ideal)
- wip: added complexes of sheaves
- wip: added yonedaSheafExtension'
- wip: cache Hom info in target of homomorphism'
- wip: fixed toExternalString or SheafMap
- REMOVE ME: revert changes to ~ until next release
- added embeddedToAbstract and tests
- added tests for quotient' for non-free maps
- added method for truncating source of map more than target
- wip: added helper inducedTruncationMap routine
- wip: added better algorithm for truncate(ZZ, Complex)
- added auxiliary methods for subtruncate
- moved isSmooth to Core
- added benchmark test for prune
- FIXME: slowdown in //
- wip: separate hooks from (quotient, Matrix, Matrix)
- added CoherentSheaf ? CoherentSheaf for sorting
- testing Keller's methods
- first attempt at ExtLongExactSequence
- documented isProjective
- added isSmooth(Variety)
- documented isSmooth(Variety)
- documented AffineVariety AffineVariety**
- wip: moved cartesianProduct to Varieties
- wip: documented singularLocus for varieties
- wip: documented ambient for varieties
- wip: documented isWellDefined for varieties
- added initial documentation nodes for SheafMap and constructors
- documented isWellDefined for coherent sheaves
- documented rank for coherent sheaves
- documented degrees of a coherent sheaf
- documented random for morphisms of coherent sheaves
- documented isWellDefined for morphisms of coherent sheaves
- documented variety(SheafMap)
- documented matrix(SheafMap)
- documented sheaf(Ideal)
- (un)documented arithmetic operations for sheaf maps
- (un)documented some arithmetic methods for coherent sheaves
- documented stub for sheafHom of sheaf maps
- documented sheaf(Variety,Ideal)
- documented stub for induced maps of sheaf maps
- potential fix for concentration problems
- added isSurjective(SheafMap)
- split map and sheaf constructor of sheaf maps
- added documentation stub for canonicalBundle
- moved the documentation of tangentSheaf
- moved the documentation of cotangentSheaf
- added degree(SheafMap) as degree matrix phi
- fixed pluralize for sheaves and varieties
- incorporated the new augmented ??= operator in Core
- changed caching of Alexander dual using ??=
- used pluralsynonym in directSum
- added applyUniformMethod for directSum and pullback/pushout
- added pullback/pushout for list of sheaf maps
- unexported isLiftable
- added documentation stubs for special sheaf maps
- added an affine test and moved varieties tests
- expanded isLocallyFree
- documented isLocallyFree
- fixed a ComputationsBook test
- unexported TruncateDegree
- added doc stub for prune(SheafMap)
- improved documentation of sheafHom
- wip: does sheafExt of sheaf maps make sense?
- *wip: implemented HH^i(F()) for i>0**
- wip: added Ω and ω as ScriptedFunctors
- added helper 'syn' for documentation
- improved docs for (Ext, ZZ, CoherentSheaf, SumOfTwists)
- improved docs for (cohomology, ZZ, SheafOfRings)
- improved docs for (cohomology, ZZ, SumOfTwists)
- improved docs for (cohomology, ZZ, CoherentSheaf)
- improved docs for (Ext, ZZ, CoherentSheaf, CoherentSheaf)
- improved docs for (sheafExt, ZZ, CoherentSheaf, CoherentSheaf)
- improved docs for (hh, Sequence, ProjectiveVariety)
- improved docs for (Hom, CoherentSheaf, CoherentSheaf)
- added various doc stubs for Varieties
- undocumented SheafExpression
- separated ZZ and InexactField strategies for (quotient, Matrix, Matrix)
- wip: added slight optimization for quotient and quotient'
- fixed char ProjectiveVariety
- added test for saturation in char
- hookified pdim CoherentSheaf
- added compatibility functions for 1.24.05
- added global assignment function for sheaves
- fixed load paths in Complexes
- fixed load paths in SheafMaps
- added (sheaf, Complex)
- added miscellaneous fixes for complexes of sheaves
- moved basis to Complexes package
- moved component of CoherentSheaf to Varieties
- Delete "misc small changes"
- connectingExtMap gives an error!
- Don't need this.
- mahruds fixes: addHooks
- hookified complex of a list or hash table
- fixed tensor of complexes of sheaves
- added preliminary code for RHom
- added global Ext of complex
- simplified constructor of complexes
- reordered exports in Varieties
- added Euler sequence as a test of sheaf complexes
- changed yonedaSheafExtension to return a complex
- moved docs for eulerSequence and yonedaSheafExtension
- added additional methods for RHom
- added more sheafHom methods
- fixed sheafHom of complexes
- added (complex, CoherentSheaf)
- simplified tensor of complexes of sheaves
- added helper methods for maps of sheaves
- fixed map(Complex, Complex, ZZ) to allow multiplication maps
- fixed an issue with zero objects
- added potential fix for installPackage issue
- added more tests
- added types and methods for Cartan--Eilenberg resolutions
- added to tests
- added idealSheaf
- documented idealSheaf
- added name to authors
- deleted sheafOf
- added (euler, Complex)
- added idealSheafSequence
- fixed syntax errors
- allow quick documentation loading
- updated documentation of idealSheafSequence
- removed hooks from Complexes
- fixed bug in Complexes
- *added commutativity to RingElement SheafMap**
- documented ^, ^, ++**
- added code for tensoring a complex of sheaves by a sheaf
- fixed prune for zero sheaf maps
- flattened complexes and modules in RHom and Ext of sheaf complexes
- simplified some sheaf complex constructors
- added more tests
- added sheaf and module for a map of complexes
- fixed basis and truncate for complexes
- fixed flattenComplex in Varieties
- simplified RHom for complexes of sheaves
- simplified cohomology of complexes of sheaves
- removed backported section from workshop
- fixed (matrix, List) and added isMorphism, isAbelianCategory
- removed calls to length Complex in resolutionMap
- fixed canonicalBundle in the singular case
- added failing test for Hom
- commented some sheafHom methods
- removed strange definition of cohomology of complex of modules