-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Data races on shared expressions: lazy hash_value() and is_positive()/infer_assumptions mutate nodes from const read paths (TSan-confirmed)
bugSomething isn't workingSomething isn't workingStatus: Open.#504 In NumSim-Stack/numsim-cas;Public simplify() entry point: re-run folds and opt-in passes on a finished expression
enhancementNew feature or requestNew feature or requestStatus: Open.#501 In NumSim-Stack/numsim-cas;Printers truncate doubles to 6 significant digits; no precision control (breaks value-preserving round trips)
enhancementNew feature or requestNew feature or requestStatus: Open.#500 In NumSim-Stack/numsim-cas;Named intermediates for tensor and t2s expressions (only scalar_named_expression exists)
enhancementNew feature or requestNew feature or requestStatus: Open.#499 In NumSim-Stack/numsim-cas;Expression introspection API: free_symbols, metrics, for_each_node, printable assumptions
enhancementNew feature or requestNew feature or requestStatus: Open.#498 In NumSim-Stack/numsim-cas;Isotropic functions do not propagate definiteness: sqrt(PD), exp(sym) not tagged PD
enhancementNew feature or requestNew feature or requestStatus: Open.#496 In NumSim-Stack/numsim-cas;t2s comparisons, max/min and Macaulay bracket are missing — J2 return mapping not expressible
enhancementNew feature or requestNew feature or requestStatus: Open.#497 In NumSim-Stack/numsim-cas;Kinematics folds: A:I{4} → A and one spelling of F⁻ᵀ (inv(trans) vs trans(inv))
enhancementNew feature or requestNew feature or requestStatus: Open.#494 In NumSim-Stack/numsim-cas;Invariant folds miss t2s-scaled tensors: det(J^(-1/3) F) never simplifies to 1 (isochoric split)
enhancementNew feature or requestNew feature or requestStatus: Open.#495 In NumSim-Stack/numsim-cas;Derivatives w.r.t. symmetric tensors: fold P_sym contractions to sym()/dev() and tag results Symmetric / MinorMajor
enhancementNew feature or requestNew feature or requestStatus: Open.#493 In NumSim-Stack/numsim-cas;Invalid expression_holder is rejected by get()/operators but silently accepted by evaluators (returns 0), diff and to_string
bugSomething isn't workingSomething isn't workingStatus: Open.#492 In NumSim-Stack/numsim-cas;Inferred assumptions are cached forever: adding or erasing a leaf assumption after the first query leaves compounds stale (stale-true lets abs fold unsoundly)
bugSomething isn't workingSomething isn't workingStatus: Open.#491 In NumSim-Stack/numsim-cas;