WIP: signed =

Author: tim-at-topos

packages/frontend/src/stdlib/theories/polynomial-ode.ts

@@ -30,6 +30,7 @@ export default function createPolynomialODETheory(theoryMeta: TheoryMeta): Theor
                 name: "Contribution",
                 description: "Monomial contribution to ODE system",
                 shortcut: ["C"],
+                arrowStyle: "plus",
             },
         ],
         modelAnalyses: [

packages/frontend/src/stdlib/theories/signed-polynomial-ode.ts

@@ -1,6 +1,8 @@
 import { ThSignedPolynomialODE } from "catlog-wasm";
 import { Theory, type TheoryMeta } from "../../theory";
 import * as analyses from "../analyses";
+import ObjectCellEditor from "../../model/object_cell_editor";
+import ContributionCellEditor from "../../model/contribution_cell_editor";
 
 export default function createSignedPolynomialODETheory(theoryMeta: TheoryMeta): Theory {
     const thSignedPolynomialODE = new ThSignedPolynomialODE();
@@ -13,23 +15,28 @@ export default function createSignedPolynomialODETheory(theoryMeta: TheoryMeta):
             {
                 tag: "ObType",
                 obType: { tag: "Basic", content: "State" },
+                editor: ObjectCellEditor,
                 name: "Variable",
-                description: "Variable in ring of polynomials",
+                description: "State variable in ODE system",
                 shortcut: ["V"],
             },
             {
                 tag: "MorType",
                 morType: { tag: "Basic", content: "Contribution" },
+                editor: ContributionCellEditor,
                 name: "Positive contribution",
-                description: "Additive monomial contribution to the system of ODEs",
-                shortcut: ["C"],
+                description: "Positive monomial contribution to ODE system",
+                shortcut: ["P"],
+                arrowStyle: "plus",
             },
             {
                 tag: "MorType",
                 morType: { tag: "Basic", content: "NegativeContribution" },
+                editor: ContributionCellEditor,
                 name: "Negative contribution",
-                description: "Subtractive monomial contribution to the system of ODEs",
+                description: "Negative monomial contribution to ODE system",
                 shortcut: ["N"],
+                arrowStyle: "minus",
             },
         ],
         modelAnalyses: [