Files
2025-07-16 16:30:56 +00:00

36 lines
1.6 KiB
JavaScript

import { SemanticType } from '../semantic_tree/semantic_meaning.js';
import { SemanticSkeleton } from '../semantic_tree/semantic_skeleton.js';
import { CaseMultiindex } from './case_multiindex.js';
import * as EnrichMathml from './enrich_mathml.js';
import { setAttributes, Attribute } from './enrich_attr.js';
export class CaseTensor extends CaseMultiindex {
static test(semantic) {
return !!semantic.mathmlTree && semantic.type === SemanticType.TENSOR;
}
constructor(semantic) {
super(semantic);
}
getMathml() {
EnrichMathml.walkTree(this.semantic.childNodes[0]);
const lsub = CaseMultiindex.multiscriptIndex(this.semantic.childNodes[1]);
const lsup = CaseMultiindex.multiscriptIndex(this.semantic.childNodes[2]);
const rsub = CaseMultiindex.multiscriptIndex(this.semantic.childNodes[3]);
const rsup = CaseMultiindex.multiscriptIndex(this.semantic.childNodes[4]);
setAttributes(this.mml, this.semantic);
const collapsed = [
this.semantic.id,
this.semantic.childNodes[0].id,
lsub,
lsup,
rsub,
rsup
];
EnrichMathml.addCollapsedAttribute(this.mml, collapsed);
const childIds = SemanticSkeleton.collapsedLeafs(lsub, lsup, rsub, rsup);
childIds.unshift(this.semantic.childNodes[0].id);
this.mml.setAttribute(Attribute.CHILDREN, childIds.join(','));
this.completeMultiscript(SemanticSkeleton.interleaveIds(rsub, rsup), SemanticSkeleton.interleaveIds(lsub, lsup));
return this.mml;
}
}