Skip to content

feat: AddTorsor instance on space#972

Merged
jstoobysmith merged 7 commits intomasterfrom
SpaceAddTorsor
Mar 7, 2026
Merged

feat: AddTorsor instance on space#972
jstoobysmith merged 7 commits intomasterfrom
SpaceAddTorsor

Conversation

@jstoobysmith
Copy link
Member

Added an AddTorsor instance on Space d along with a number of other little results which are required to define this

@jstoobysmith jstoobysmith added t-space-time Space and time awaiting-author A reviewer has asked the author a question or requested changes labels Mar 5, 2026
@jstoobysmith
Copy link
Member Author

Put awaiting-author tag as one or two things I want to do here before review needed

@jstoobysmith
Copy link
Member Author

There is a lot here to review, but most of it is old code that has just been moved (e.g. everything in the Module file is existing code). What is actually new is the definition of NormedAddTorsor, AddTorsor and VSub in the Space.Basic file (see here), as well as documentation in the Space.Basic and Space.Module file.

@jstoobysmith jstoobysmith removed the awaiting-author A reviewer has asked the author a question or requested changes label Mar 6, 2026
Copy link
Collaborator

@morrison-daniel morrison-daniel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think it's smart to separate the general properties of Space from those that depend on a choice of origin and therefore module structure.

@morrison-daniel morrison-daniel added the ready-to-merge This PR is approved and will be merged shortly label Mar 7, 2026
@jstoobysmith jstoobysmith merged commit 740742f into master Mar 7, 2026
3 checks passed
@jstoobysmith jstoobysmith deleted the SpaceAddTorsor branch March 7, 2026 07:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready-to-merge This PR is approved and will be merged shortly t-space-time Space and time

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants