Skip to content

Comments

feat: Add surfaces#942

Draft
jstoobysmith wants to merge 10 commits intomasterfrom
Surfaces
Draft

feat: Add surfaces#942
jstoobysmith wants to merge 10 commits intomasterfrom
Surfaces

Conversation

@jstoobysmith
Copy link
Member

Defining the line and spherical shell surfaces within the Space directory of PhysLean.

@jstoobysmith jstoobysmith mentioned this pull request Feb 13, 2026
7 tasks
@jstoobysmith jstoobysmith added the WIP Currently being worked on, not ready for merge label Feb 18, 2026
@jstoobysmith
Copy link
Member Author

jstoobysmith commented Feb 19, 2026

Breaking this PR into smaller task

  • Integrals - done at refactor: Integrals #952
  • Gradient of the Schwartz maps
  • Properties of the slice function
  • Lemma in IsDistBounded
  • Ring
  • Spherical Shell
  • Line

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

WIP Currently being worked on, not ready for merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant