Skip to content

Navigation Menu

Appearance settings

- AI CODE CREATION
  GitHub CopilotWrite better code with AI
  GitHub Copilot appDirect agents from issue to merge
  MCP Registry^NewIntegrate external tools
- DEVELOPER WORKFLOWS
  ActionsAutomate any workflow
  CodespacesInstant dev environments
  IssuesPlan and track work
  Code ReviewManage code changes
- APPLICATION SECURITY
  GitHub Advanced SecurityFind and fix vulnerabilities
  Code securitySecure your code as you build
  Secret protectionStop leaks before they start
- EXPLORE
  Why GitHub
  Documentation
  Blog
  Changelog
  Marketplace
View all features
- BY COMPANY SIZE
  Enterprises
  Small and medium teams
  Startups
  Nonprofits
- BY USE CASE
  App Modernization
  DevSecOps
  DevOps
  CI/CD
  View all use cases
- BY INDUSTRY
  Healthcare
  Financial services
  Manufacturing
  Government
  View all industries
View all solutions
- EXPLORE BY TOPIC
  AI
  Software Development
  DevOps
  Security
  View all topics
- EXPLORE BY TYPE
  Customer stories
  Events & webinars
  Ebooks & reports
  Business insights
  GitHub Skills
- SUPPORT & SERVICES
  Documentation
  Customer support
  Community forum
  Trust center
  Partners
View all resources
- COMMUNITY
  GitHub SponsorsFund open source developers
- PROGRAMS
  Security Lab
  Maintainer Community
  Accelerator
  GitHub Stars
  Archive Program
- REPOSITORIES
  Topics
  Trending
  Collections
- ENTERPRISE SOLUTIONS
  Enterprise platformAI-powered developer platform
- AVAILABLE ADD-ONS
  GitHub Advanced SecurityEnterprise-grade security features
  Copilot for BusinessEnterprise-grade AI features
  Premium SupportEnterprise-grade 24/7 support
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.

Appearance settings

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

Uh oh!

There was an error while loading. Please reload this page.

SpectralSequences / sseq Public

Notifications You must be signed in to change notification settings
Fork 15
Star 32

Code
Issues 35
Pull requests 23
Actions
Projects
Security and quality
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights

Ext py#239

Draft

hoodmane wants to merge 169 commits into

SpectralSequences:masterSpectralSequences/sseq:masterfrom

hoodmane:ext_pyhoodmane/sseq:ext_pyCopy head branch name to clipboard

Conversation Commits169 (169)Checks Files changed

Draft

Ext py#239
hoodmane wants to merge 169 commits into
SpectralSequences:masterfrom
hoodmane:ext_py

Commits

Commits on Jun 30, 2026

Add `ext_py` subproject

JoeyBF
authored and
hoodmane
committed
Update flake to use uv for frontend

JoeyBF
authored and
hoodmane
committed
Set up for test-driven development, first pass

JoeyBF
authored and
hoodmane
committed
Format ext_py examples

JoeyBF
authored and
hoodmane
committed
Progress!

JoeyBF
authored and
hoodmane
committed
Activate logging in ext_py

JoeyBF
authored and
hoodmane
committed
Fix API proposal

JoeyBF
authored and
hoodmane
committed
Refine proposal

JoeyBF
authored and
hoodmane
committed
Update pyo3
hoodmane
committed
Bind ValidPrime in ext_py
hoodmane
committed
Use int boundary for primes in ext_py
hoodmane
committed
Harden prime boundary checks
hoodmane
committed
Bind fp field types in ext_py
hoodmane
committed
Tighten fp field bindings
hoodmane
committed
Bind FpVector in ext_py
hoodmane
committed
Bind FpVector slices in ext_py
hoodmane
committed
Tighten FpVector slice bindings
hoodmane
committed
Bind Matrix in ext_py
hoodmane
committed
Unify FpSlice over vectors and matrix rows
hoodmane
committed
Revalidate slice length and harden slice tests
hoodmane
committed
Restore idiomatic PyO3 in slice bindings
hoodmane
committed
Bind Subspace in ext_py
hoodmane
committed
Regenerate pivots in Subspace.sum binding
hoodmane
committed
Fix Subspace binding low-severity issues
hoodmane
committed
Simplify Subspace.sum to thin wrapper
hoodmane
committed
Forbid Matrix::trim keep_pivots with nonzero col_start
hoodmane
committed
Bind QuasiInverse in ext_py
hoodmane
committed
Harden QuasiInverse binding
hoodmane
committed
Bind Subquotient in ext_py
hoodmane
committed
Expand Subquotient tests
hoodmane
committed
Bind AffineSubspace in ext_py
hoodmane
committed
Fix AffineSubspace test comments and coverage
hoodmane
committed
Bind AugmentedMatrix2/3 in ext_py
hoodmane
committed
Guard compute_* against non-row-reduced matrices
hoodmane
committed
Bind MatrixSliceMut in ext_py
hoodmane
committed
Fix add_masked comment and expand MatrixSliceMut tests
hoodmane
committed
Bind MilnorAlgebra Algebra surface in ext_py
hoodmane
committed
Guard MilnorAlgebra panic paths
hoodmane
committed
Bind AdemAlgebra Algebra surface in ext_py
hoodmane
committed
Bind SteenrodAlgebra union in ext_py
hoodmane
committed
Guard Milnor generator decompose and fix json taxonomy
hoodmane
committed
Bind SteenrodModule, FDModule, FreeModule in ext_py
hoodmane
committed
Guard FreeModule/FDModule panic paths
hoodmane
committed
Bind Tensor/Suspension/Zero/RP modules in ext_py
hoodmane
committed
Guard TensorModule.offset empty block
hoodmane
committed
Bind QuotientModule and HomModule in ext_py
hoodmane
committed
Pre-extend algebra in QuotientModule::new; guard HomModule overflow
hoodmane
committed
Bind FPModule, BlockStructure, GeneratorBasisEltPair in ext_py
hoodmane
committed
Split FPModule into builder + immutable module
hoodmane
committed
Add Consumable<T> and borrow input slices instead of cloning
hoodmane
committed
FpSliceMut add/assign no-clone fast path
hoodmane
committed
Consume augmented matrix in into_matrix/compute_quasi_inverses
hoodmane
committed
Arc-share FDModule
hoodmane
committed
Raise RuntimeError on input/target aliasing; expand clone-removal tests
hoodmane
committed
Bind FreeModuleHomomorphism in ext_py
hoodmane
committed
Expand FreeModuleHomomorphism tests
hoodmane
committed
Rename FDModule to FDModuleBuilder with build()
hoodmane
committed
Fix example refs after FDModuleBuilder rename; add example smoke test
hoodmane
committed
Bind FullModuleHomomorphism in ext_py
hoodmane
committed
Guard FullModuleHomomorphism.from_matrices min_degree; expand tests
hoodmane
committed
Add examples as acceptance gate

JoeyBF
authored and
hoodmane
committed
Bind quotient and generic-zero homomorphisms in ext_py
hoodmane
committed
Guard quotient/zero get_partial_matrix against out-of-range degrees
hoodmane
committed
Bind free-to-free FreeModuleHomomorphism in ext_py
hoodmane
committed
Bind HomPullback in ext_py
hoodmane
committed
Dispatch Nassau vs general resolution at runtime in ext_py
hoodmane
committed
Guard compute_through_stem; reject Nassau-backed secondary; add resolution tests
hoodmane
committed
Guard hom_k against out-of-range degrees; test HomPullback shift
hoodmane
committed
Fix Matrix.to_vec panic on zero-column matrices
hoodmane
committed
Bind Steenrod evaluator/parser in ext_py
hoodmane
committed
Bind Field algebra and wire HomModule.algebra in ext_py
hoodmane
committed
Bind module_gens_from_json and combinatorics functions in ext_py
hoodmane
committed
Guard combinatorics/module_gens_from_json against oversized degrees
hoodmane
committed
Bind sseq coordinates (Bidegree, BidegreeElement/Generator/Range, iter_s_t)
hoodmane
committed
Release GIL around iter_s_t; test callback error paths
hoodmane
committed
Update examples KNOWN_UNBOUND allowlist after rebase
hoodmane
committed
Bind Sseq spectral sequence in ext_py
hoodmane
committed
Guard Sseq.add_differential intermediate degrees; harden leibniz
hoodmane
committed
Bind sseq charting backends and write_to_graph in ext_py
hoodmane
committed
Re-raise swallowed write_to_graph close error; tidy charting tests
hoodmane
committed
Bind ChainComplex (CCC) in ext_py
hoodmane
committed
Validate ChainComplex.new inputs; guard has_computed_bidegree
hoodmane
committed
Bind Resolution FreeChainComplex method set in ext_py
hoodmane
committed
Guard filtration_one_product(s) against uncomputed resolution and out-of-range op_idx
hoodmane
committed
Bind ResolutionHomomorphism in ext_py
hoodmane
committed
Document get_map shared view; add ResolutionHomomorphism guard tests
hoodmane
committed
Bind ChainHomotopy and FiniteAugmentedChainComplex in ext_py
hoodmane
committed
Add ChainHomotopy.extend_all reject test; strengthen shape test; fix module() docstrings
hoodmane
committed
Bind SecondaryResolutionHomomorphism and SecondaryChainHomotopy in ext_py
hoodmane
committed
Wrap secondary extend_all panic as ValueError; add lambda guard tests; fix ChainHomotopy doc
hoodmane
committed
Bind yoneda_representative_element in ext_py
hoodmane
committed
Add Python I/O util layer (query_module*, construct) and save_dir support
hoodmane
committed
Fix save_dir IO error taxonomy; scan from-imports in test_examples
hoodmane
committed
Bind UnstableResolution + unstable construct/query in ext_py
hoodmane
committed
Guard unstable construct against cofiber specs; strengthen unstable tests
hoodmane
committed
Bind non-IO utils: unicode_num, LAMBDA_BIDEGREE, parse_module_name, load_module_json, get_unit
hoodmane
committed
Guard get_unit against interactive non-unit path; harden parse_module_name
hoodmane
committed
Bind UnstableResolutionHomomorphism + UnstableFreeModuleHomomorphism in ext_py
hoodmane
committed
Contrast unstable vs stable S^3 in tests; add act guard tests; gitignore API_BIND_ORDER
hoodmane
committed
Bind ExtAlgebra in ext_py
hoodmane
committed
Strengthen ExtAlgebra product-guard tests
hoodmane
committed
Bind SecondaryExtAlgebra (d2 layer) in ext_py
hoodmane
committed
Hold ExtAlgebra as Arc to share with SecondaryExtAlgebra; add d2 guard tests
hoodmane
committed
Add Pyodide build
hoodmane
committed
Bind BidegreeGenerator.__format__ in ext_py
hoodmane
committed
Extend ext_py algebra/module/resolution bindings
hoodmane
committed
Update ext_py examples to current bindings
hoodmane
committed
Add test that runs all ext_py Python examples
hoodmane
committed
Bind UnstableResolution.filtration_one_products
hoodmane
committed
Pass a drawing handle to Sseq.write_to_graph header callback
hoodmane
committed
Bind FDModuleBuilder.from_tensor_module and settable name
hoodmane
committed
Bind extend_step_raw on resolution homomorphisms
hoodmane
committed
Bind hom_k on UnstableFreeModuleHomomorphism
hoodmane
committed
Let ext.construct accept dict and (spec, algebra) tuple specs
hoodmane
committed
Move ext.construct to ext.Resolution.construct
hoodmane
committed
Allow negative-t shift in ResolutionHomomorphism
hoodmane
committed
Allow negative internal degree t in stable Resolution queries
hoodmane
committed
Bind Matrix.compute_kernel/compute_image and Subspace.basis
hoodmane
committed
Add resolution-type argument to query_module/query_module_only
hoodmane
committed
Split query_module into query_resolution + query_n_s
hoodmane
committed
Make standard-backend examples request the standard backend
hoodmane
committed
Bind Resolution.differential
hoodmane
committed
Bind SteenrodAlgebra.basis_element_from_index
hoodmane
committed
Expose prime (and e3_page) as a property instead of a method
hoodmane
committed
Bind SecondaryResolution prime, e3_page, homotopy accessors
hoodmane
committed
Call source()/target() as methods in examples
hoodmane
committed
Bind ResolutionHomomorphism.extend_step
hoodmane
committed
Replace steenrod_module_from_json with SteenrodModule.from_spec
hoodmane
committed
Pass page index to Sseq.page_data in secondary_product example
hoodmane
committed
Bind SecondaryResolutionHomomorphism.hom_k
hoodmane
committed
Bind AugmentedMatrix.row_mut
hoodmane
committed
Complete secondary_massey example args; fix .shift() porting bug
hoodmane
committed
Deduplicate PyO3 bindings via macros and helpers
hoodmane
committed
Deduplicate algebra pyclass bindings via algebra_pymethods! macro
hoodmane
committed
Bind ChainHomotopy.initialize_homotopies
hoodmane
committed
Bind SecondaryResolutionHomomorphism.product_nullhomotopy
hoodmane
committed
Use a defined Massey product (h0, h1) in secondary_massey runner args
hoodmane
committed
Bind SecondaryChainHomotopy computation methods
hoodmane
committed
Bind SteenrodAlgebra.p_tilde
hoodmane
committed
Pass page index to Sseq.page_data in secondary_massey example
hoodmane
committed
Bind Matrix.iter_mut
hoodmane
committed
Accept FpVector operand in FpSliceMut.add
hoodmane
committed
Bind FpVector.iter_nonzero
hoodmane
committed
Bind SecondaryResolutionHomomorphism.hom_k_with
hoodmane
committed
Accept FpSliceMut operand in Subquotient.reduce_by_quotient
hoodmane
committed
Bind FpVector.restrict
hoodmane
committed
Add FreeChainComplex::try_number_of_gens_in_bidegree
hoodmane
committed
Add GeneratedAlgebra::try_decompose_basis_element
hoodmane
committed
Add Bialgebra::try_coproduct
hoodmane
committed
Derive Clone for MilnorProfile
hoodmane
committed
Add fp::field::DynFieldElement
hoodmane
committed
Add non-panicking Matrix::try_compute_* variants
hoodmane
committed
Add QuasiInverse::try_new validating constructor
hoodmane
committed
Fix Matrix::to_vec panic on zero-column matrices
hoodmane
committed
Add SmallFq::try_new and AffineSubspace::try_new
hoodmane
committed
Add owning stem iterators to ChainComplex/FreeChainComplex
hoodmane
committed
Add non-panicking try_* range accessors to ext
hoodmane
committed
Bind Resolution.set_name with a wrapper-level name override
hoodmane
committed
Bind Resolution.target
hoodmane
committed
Complete lift_hom example args in runner
hoodmane
committed
Share target N Arc via with_source in ext_m_n example
hoodmane
committed
Add load_quasi_inverse option to UnstableResolution constructor
hoodmane
committed
Bind DoubleChainComplex (port sq0.rs double module)
hoodmane
committed
Bind Bidegree.zero
hoodmane
committed
Support DoubleChainComplex target in ResolutionHomomorphism
hoodmane
committed
lint
hoodmane
committed
Make write_to_graph not require so many args and make them kwonly
hoodmane
committed
Fix warnings
hoodmane
committed

Commits on Jul 1, 2026

Make many things into getters
hoodmane
committed

Footer

© 2026 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Community
Docs
Contact

You can’t perform that action at this time.