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[ \(coef\+\(Poly[\[DoubleStruckCapitalQ]]\)[ \(\(\[LeftAngleBracket] \(4, 5, 23\) \[RightAngleBracket]\), 17\)]\ \)], "Result" -> Theorema`Interface`GUI`Private`RESULT[0], "statistics" -> Column[ {Labeled[0.0040000000000000001`3.6226599046075867, "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/c207568955"]]}, Spacer[5]]}, ImageSize -> Automatic]