( ce: ComputeEngine, name: string, index: number, value: Expression )
| 518 | if (!map.has(name)) { |
| 519 | map.set(name, { base: new Map(), isMultiIndex: false }); |
| 520 | } |
| 521 | return map.get(name)!; |
| 522 | } |
| 523 | |
| 524 | /** |
| 525 | * Add a base case for a single-index sequence definition. |
| 526 | * e.g., from `L_0 := 1` |
| 527 | */ |
| 528 | export function addSequenceBaseCase( |
| 529 | ce: ComputeEngine, |
| 530 | name: string, |
| 531 | index: number, |
| 532 | value: Expression |
no test coverage detected