TabView[{"knowledge" -> Pane[Row[{Theorema`Interface`GUI`Private`FORM[ {{"ID:972178751", "Source:/home/wwindste/Publications/Talks/2014-10-WTC/Talk.nb"}, "deg"}], Theorema`Interface`GUI`Private`FORM[ {{"ID:513702898", "Source:/home/wwindste/Publications/Talks/2014-10-WTC/Talk.nb"}, "coef"}], Theorema`Interface`GUI`Private`FORM[ {{"ID:1701005634", "Source:/home/wwindste/Publications/Talks/2014-10-WTC/Talk.nb"}, "mult"}]}, ", "], 500], "built-in" -> Column[{"\[Checkmark] [Sets]", "\[Checkmark] [Tuples]", "\[Checkmark] [Arithmetic]", "\[Checkmark] [Logic]", "\[Checkmark] [Domains]", "\[Checkmark] [Programming]"}], "Computation" -> TabView[{"Input" -> DisplayForm[ \(\(\[LeftAngleBracket] \(4, \(5/2\), 0, \(23/4\)\) \[RightAngleBracket]\) \(*\+\(Poly[D]\)\) \(\[LeftAngleBracket] \(11, \(1/3\)\) \[RightAngleBracket]\)\)], "Result" -> Theorema`Interface`GUI`Private`RESULT[ Theorema`Language`Tuple$TM[Theorema`Language`DomainOperation$TM[ Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][4, 11], Theorema`Language`Plus$TM[Theorema`Language`DomainOperation$TM[ Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][5/2, 11], Theorema`Language`DomainOperation$TM[Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][4, 1/3]], Theorema`Language`Plus$TM[ Theorema`Language`DomainOperation$TM[Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][0, 11], Theorema`Language`DomainOperation$TM[Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][5/2, 1/3], Theorema`Language`DomainOperation$TM[Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][4, 0]], Theorema`Language`Plus$TM[ Theorema`Language`DomainOperation$TM[Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][0, 1/3], Theorema`Language`DomainOperation$TM[Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][5/2, 0], Theorema`Language`DomainOperation$TM[Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][4, 0], Theorema`Language`DomainOperation$TM[Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][23/4, 11]], Theorema`Language`Plus$TM[ Theorema`Language`DomainOperation$TM[Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][0, 0], Theorema`Language`DomainOperation$TM[Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][0, 11], Theorema`Language`DomainOperation$TM[Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][5/2, 0], Theorema`Language`DomainOperation$TM[Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][4, 0], Theorema`Language`DomainOperation$TM[Theorema`Knowledge`D$TM, Theorema`Language`Times$TM][23/4, 1/3]]]], "statistics" -> Column[{Labeled[0.03200000000000068, "Computation time:", Left]}]}, AutoAction -> True, ControlPlacement -> Left], "Restore settings" -> Row[{"Really restore all relevant settings to the values they had when \ this action was performed last time?", Button["OK", Theorema`Common`setComputationEnvironment[ "/home/wwindste/Publications/Talks/2014-10-WTC/Talk/c1361434298"]]}, Spacer[5]]}, ImageSize -> Automatic]