1234567891011121314151617181920212223242526272829303132333435 |
- 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;
- }
- }
|