Code

DirectSummands: v0.3#3815

Code

Draft

mahrud wants to merge 88 commits intoMacaulay2:developmentMacaulay2/M2:developmentfrom

mahrud:DirectSummandsmahrud/M2:DirectSummandsCopy head branch name to clipboard

Commits

Commits on May 14, 2025

• added DirectSummands to =distributed-packages

  mahrud

  committed
  cbc7e87

  Copy full SHA for cbc7e87

• added package draft

  mahrud

  committed
  f5bdef6

  Copy full SHA for f5bdef6

• exported "findIdem" command, though we should rename it at some point

  

  Devlin-Mallory

  authored and

  mahrud

  committed
  9565f97

  Copy full SHA for 9565f97

• all checks are green

  mahrud

  committed
  85a830e

  Copy full SHA for 85a830e

• changed Hom of sheaves to use Hom in degree zero

  mahrud

  committed
  4b79a11

  Copy full SHA for 4b79a11

• moved tests and docs to aux directory

  mahrud

  committed
  e8ef502

  Copy full SHA for e8ef502

• added directSummands(Matrix)

  mahrud

  committed
  89df4f8

  Copy full SHA for 89df4f8

• added a main documentation page

  mahrud

  committed
  19193ec

  Copy full SHA for 19193ec

• removed trim from Hom for speedups

  mahrud

  committed
  01a89e6

  Copy full SHA for 01a89e6

• improved summands for Gr(2,4)

  mahrud

  committed
  b02161e

  Copy full SHA for b02161e

• added frobeniusTwist, X5 / GF(4) works now

  mahrud

  committed
  8b21089

  Copy full SHA for 8b21089

• added Recursive option, several minor improvements

  mahrud

  committed
  c0713a7

  Copy full SHA for c0713a7

• updated package for M2 v1.23

  mahrud

  committed
  120dafd

  Copy full SHA for 120dafd

• added strategy for precomputing Homs

  mahrud

  committed
  9167ca2

  Copy full SHA for 9167ca2

• cached frobeniusPushforward for sheaves and removed frobeniusPushforward(X, e)

  mahrud

  committed
  b635fac

  Copy full SHA for b635fac

• improved changeBaseField

  mahrud

  committed
  5a5d946

  Copy full SHA for 5a5d946

• added test for modules with Schreyer order

  mahrud

  committed
  de74dbd

  Copy full SHA for de74dbd

• added test for potentialExtension and changeBaseField

  mahrud

  committed
  685a1d2

  Copy full SHA for 685a1d2

• added support for larger powers

  mahrud

  committed
  54e63c9

  Copy full SHA for 54e63c9

• wip: added tally' and unique'

  mahrud

  committed
  9d72700

  Copy full SHA for 9d72700

• fixed a broken test

  mahrud

  committed
  b309a49

  Copy full SHA for b309a49

• fixed a bug in potentialExtension

  mahrud

  committed
  3cc9b81

  Copy full SHA for 3cc9b81

• added temporary fix for extending ground field of sheaves

  mahrud

  committed
  a043740

  Copy full SHA for a043740

• changed needs to load

  mahrud

  committed
  2c664c3

  Copy full SHA for 2c664c3

• added faster reducedScalar

  mahrud

  committed
  2e91781

  Copy full SHA for 2e91781

• added faster reduceScalar

  mahrud

  committed
  c92f2f9

  Copy full SHA for c92f2f9

• added changes for 1.24.05 release

  mahrud

  committed
  2ee7f5f

  Copy full SHA for 2ee7f5f

• fixed diagonalizing {{x,y},{-y,x}}

  mahrud

  committed
  0a067d5

  Copy full SHA for 0a067d5

• switched to using isWeakIdempotent, added test

  mahrud

  committed
  6beec57

  Copy full SHA for 6beec57

• changes until Oct 31st (probably)

  mahrud

  committed
  c602271

  Copy full SHA for c602271

• added large-tests.m2

  mahrud

  committed
  e3f314c

  Copy full SHA for e3f314c

• changes from last discussion, in preparation for changing matrix powers

  

  Devlin-Mallory

  authored and

  mahrud

  committed
  edee7aa

  Copy full SHA for edee7aa

• changes from last discussion

  

  Devlin-Mallory

  authored and

  mahrud

  committed
  fe1cd7a

  Copy full SHA for fe1cd7a

• frobenius pushforward of sheaf map

  

  Devlin-Mallory

  authored and

  mahrud

  committed
  da5cca8

  Copy full SHA for da5cca8

• simplified matrix multiplication

  

  Devlin-Mallory

  authored and

  mahrud

  committed
  7c311b9

  Copy full SHA for 7c311b9

• fixed a bug I introduced in summands(L,M) when L is a free module

  

  Devlin Delaney Mallory

  authored and

  mahrud

  committed
  95b70be

  Copy full SHA for 95b70be

• uncommitted changes

  mahrud

  committed
  ba0ca2a

  Copy full SHA for ba0ca2a

• added projection and inclusion maps

  mahrud

  committed
  6da9eb5

  Copy full SHA for 6da9eb5

• split random into homogeneous and inhomogeneous version

  mahrud

  committed
  f4ba01b

  Copy full SHA for f4ba01b

• added tallySummands and isomorphismTally

  mahrud

  committed
  8dd88b6

  Copy full SHA for 8dd88b6

• added failing GF exmaple and fixed free summand check

  mahrud

  committed
  142c0e3

  Copy full SHA for 142c0e3

• fixed a bug in isIsomorphic for free modules

  mahrud

  committed
  c393100

  Copy full SHA for c393100

• added groundField instead of baseField and coefficientRing'

  mahrud

  committed
  4072c49

  Copy full SHA for 4072c49

• added eigenvalues'

  mahrud

  committed
  ffd5ba8

  Copy full SHA for ffd5ba8

• added summandsFromProjectives

  mahrud

  committed
  c0ceb20

  Copy full SHA for c0ceb20

• updated tests

  mahrud

  committed
  b42bec7

  Copy full SHA for b42bec7

• fixed bug in isisomfree

  mahrud

  committed
  f690a41

  Copy full SHA for f690a41

• added projection and injection maps for summandsFromProjectors

  mahrud

  committed
  2985ea7

  Copy full SHA for 2985ea7

• lowered the number of Tries

  mahrud

  committed
  32fc75c

  Copy full SHA for 32fc75c

• bumped the version of DirectSummands

  mahrud

  committed
  f47a51c

  Copy full SHA for f47a51c

• updated summands(L, M) to be non-recursive

  mahrud

  committed
  a1ef191

  Copy full SHA for a1ef191

• added debug printing

  mahrud

  committed
  e2d87d3

  Copy full SHA for e2d87d3

• moved part of summands code to summandsFromIdempotents

  mahrud

  committed
  00c97c9

  Copy full SHA for 00c97c9

• added gensEnd0 and moved generalEndomorphism

  mahrud

  committed
  70cd68d

  Copy full SHA for 70cd68d

• added findBasicIdempotent, updated isIndecomposable

  mahrud

  committed
  d8a9d65

  Copy full SHA for d8a9d65

• implemented method to avoid recomputing Hom

  mahrud

  committed
  10a214b

  Copy full SHA for 10a214b

• made various improvements; all tests pass

  mahrud

  committed
  3fafd52

  Copy full SHA for 3fafd52

• removed ExtendGroundField option

  mahrud

  committed
  1eabc57

  Copy full SHA for 1eabc57

• made summandsFromIdempotents almost identical to summandsFromProjectors

  mahrud

  committed
  635d2a8

  Copy full SHA for 635d2a8

• fixed bug in generalEndomorphism for inhomogeneous case

  Show description for e63c71f
  mahrud

  committed
  e63c71f

  Copy full SHA for e63c71f

• simplified findIdempotent

  mahrud

  committed
  0c4e34e

  Copy full SHA for 0c4e34e

• added leftInverse and rightInverse

  mahrud

  committed
  823d33f

  Copy full SHA for 823d33f

• skip zero summands

  mahrud

  committed
  6c52cb2

  Copy full SHA for 6c52cb2

• implemented a version with a single Hom computation

  mahrud

  committed
  60767e7

  Copy full SHA for 60767e7

• added splitComponents, improved isomorphism

  mahrud

  committed
  54d5a62

  Copy full SHA for 54d5a62

• fixed a missing ??=

  mahrud

  committed
  2cc7f74

  Copy full SHA for 2cc7f74

• added dumb eigenvalue hack over ZZ/p

  mahrud

  committed
  8f100fa

  Copy full SHA for 8f100fa

• updated frobenius.m2

  mahrud

  committed
  ef34310

  Copy full SHA for ef34310

• updated Grassmannian benchmark data

  mahrud

  committed
  2e5c5c1

  Copy full SHA for 2e5c5c1

• fixed some comments

  mahrud

  committed
  83618b5

  Copy full SHA for 83618b5

• fixed bug in eigenvalues''

  mahrud

  committed
  a528121

  Copy full SHA for a528121

• some changes in summands(L, M)

  mahrud

  committed
  a0ea0e9

  Copy full SHA for a0ea0e9

• exported more methods

  mahrud

  committed
  73d11c1

  Copy full SHA for 73d11c1

• fixed another bug in fieldElements

  mahrud

  committed
  7de9002

  Copy full SHA for 7de9002

• fixed many problems with summands(L, M)

  mahrud

  committed
  7d6392b

  Copy full SHA for 7d6392b

• added splitComponentsBasic, renamed findIdempotents

  mahrud

  committed
  582e786

  Copy full SHA for 582e786

• added kludge for LocalRings

  mahrud

  committed
  97abefa

  Copy full SHA for 97abefa

• added prune' for inhomogeneous examples

  mahrud

  committed
  f25f521

  Copy full SHA for f25f521

• fixed the local and inhomogeneous tests

  mahrud

  committed
  794d136

  Copy full SHA for 794d136

• fixed isIndecomposable

  mahrud

  committed
  37a9fed

  Copy full SHA for 37a9fed

• moved a file to avoid case-insensitive conflicts

  mahrud

  committed
  9040240

  Copy full SHA for 9040240

• fixed a bug in findProjectors

  mahrud

  committed
  7c43258

  Copy full SHA for 7c43258

• added test

  Show description for 44a4d39
  mahrud

  committed
  44a4d39

  Copy full SHA for 44a4d39

• added changeBaseField(Ring, Matrix)

  mahrud

  committed
  d27b57a

  Copy full SHA for d27b57a

• added pushForward(RingMap, CoherentSheaf)

  mahrud

  committed
  ace561e

  Copy full SHA for ace561e

• extracted methods that moved to Isomorphism

  mahrud

  committed
  e12aa09

  Copy full SHA for e12aa09

• fixed decomposePushforwardPresentation for degree 1 maps

  mahrud

  committed
  c16365c

  Copy full SHA for c16365c

• updated package for new version of Isomorphism

  mahrud

  committed
  e00526a

  Copy full SHA for e00526a