Skip to content

Logic for signed polynomial ODEs#1194

Open
tim-at-topos wants to merge 3 commits intomainfrom
tim/signed-polynomial-ode
Open

Logic for signed polynomial ODEs#1194
tim-at-topos wants to merge 3 commits intomainfrom
tim/signed-polynomial-ode

Conversation

@tim-at-topos
Copy link
Copy Markdown
Contributor

@tim-at-topos tim-at-topos commented Apr 7, 2026 •
edited
Loading

To-do:

@tim-at-topos tim-at-topos changed the base branch from main to polynomial-ode-logic April 7, 2026 17:49
@tim-at-topos tim-at-topos added enhancement New feature or request core Rust core for categorical logic and general computation frontend TypeScript frontend and Rust-wasm integrations labels Apr 7, 2026
@tim-at-topos tim-at-topos mentioned this pull request Apr 7, 2026
Open
@tim-at-topos tim-at-topos marked this pull request as ready for review April 7, 2026 17:50
@epatters
Copy link
Copy Markdown
Member

epatters commented Apr 7, 2026

You're getting fast at this! :)

@tim-at-topos tim-at-topos force-pushed the polynomial-ode-logic branch 2 times, most recently from c8d65c1 to b4452c1 Compare April 7, 2026 18:42
@tim-at-topos tim-at-topos marked this pull request as draft April 7, 2026 19:25
@kasbah kasbah mentioned this pull request Apr 8, 2026
Merged
@tim-at-topos tim-at-topos force-pushed the polynomial-ode-logic branch from a2763f9 to 4b1ccd4 Compare April 8, 2026 15:20
@epatters epatters force-pushed the polynomial-ode-logic branch from 90cb5c6 to 02e8d68 Compare April 8, 2026 23:28
Base automatically changed from polynomial-ode-logic to main April 9, 2026 00:23
@tim-at-topos tim-at-topos marked this pull request as ready for review April 10, 2026 14:38
@tim-at-topos tim-at-topos marked this pull request as draft April 10, 2026 14:42
@tim-at-topos tim-at-topos force-pushed the tim/signed-polynomial-ode branch from 121d11c to 2404693 Compare April 10, 2026 15:33
@tim-at-topos tim-at-topos marked this pull request as ready for review April 10, 2026 15:33
@tim-at-topos tim-at-topos marked this pull request as draft April 10, 2026 16:14
@tim-at-topos tim-at-topos force-pushed the tim/signed-polynomial-ode branch 2 times, most recently from 9c2dd75 to 28d3ad8 Compare April 10, 2026 20:15
@tim-at-topos tim-at-topos self-assigned this Apr 10, 2026
@tim-at-topos tim-at-topos force-pushed the tim/signed-polynomial-ode branch 2 times, most recently from 79e37d5 to a00c167 Compare April 10, 2026 23:41
@tim-at-topos tim-at-topos changed the base branch from main to tim/polynomial-ode-ui April 11, 2026 01:55
@tim-at-topos tim-at-topos force-pushed the tim/signed-polynomial-ode branch from 161e993 to 02b7097 Compare April 11, 2026 02:25
tim-at-topos
tim-at-topos commented Apr 11, 2026
View reviewed changes
Comment thread packages/frontend/src/stdlib/theories/signed-polynomial-ode.ts Outdated
@tim-at-topos tim-at-topos marked this pull request as ready for review April 11, 2026 02:31
Base automatically changed from tim/polynomial-ode-ui to main April 12, 2026 18:16
@epatters epatters requested a review from kasbah as a code owner April 12, 2026 18:16
@kasbah kasbah force-pushed the tim/signed-polynomial-ode branch from 22e549a to e6508cb Compare April 14, 2026 13:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@epatters epatters epatters left review comments

@kasbah kasbah Awaiting requested review from kasbah

At least 1 approving review is required to merge this pull request.

Assignees

@tim-at-topos tim-at-topos

Labels

core Rust core for categorical logic and general computation enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@tim-at-topos @epatters @kasbah