* The rules used by `.simplify()` when no explicit `rules` option is passed. * Initialized to a copy of the built-in simplification rules. * * Add custom rules with `push()`: * ```ts * ce.simplificationRules.push({ * match: ['Power', ['Sin', '_x'], 2], * replace: ['Subtract'
()
| 1103 | } |
| 1104 | |
| 1105 | /** The source of the `id` of an assumption record. Monotone for the |
| 1106 | * lifetime of the engine, so two assertions of the same normalized fact |
| 1107 | * never share an id. |
| 1108 | * @internal */ |
| 1109 | _nextFactId(): number { |
| 1110 | this._factIdCounter += 1; |
nothing calls this directly
no test coverage detected