{ \(\(\[LeftAngleBracket] \(4, \(5/2\), 0, \(23/4\)\) \[RightAngleBracket]\) \(*\+\(Poly[D]\)\) \(\[LeftAngleBracket] \(11, \(1/3\)\) \[RightAngleBracket]\)\), Theorema`Computation`Language`Tuple$TM[ Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][4, 11], Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][5/2, 11] + Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][4, 1/3], Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][0, 11] + Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][5/2, 1/3] + Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][4, 0], Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][0, 1/3] + Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][5/2, 0] + Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][4, 0] + Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][23/4, 11], Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][0, 0] + Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][0, 11] + Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][5/2, 0] + Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][4, 0] + Theorema`Computation`Language`DomainOperation$TM[ Theorema`Computation`Knowledge`D$TM, Theorema`Computation`Language`Times$TM][23/4, 1/3]]}