New in Wolfram
Mathematica
8: New and Improved Core Algorithms
◄
previous
|
next
►
Core Algorithms
Conditionally Valid Expressions
Conditionally valid expressions as input to and output of
Mathematica
functions.
In[1]:=
X
inputs = {HoldForm[Solve[x^2 + a x + b == 0, x, Reals]], HoldForm[\!\( \*SubsuperscriptBox[\(\[Integral]\), \(0\), \(1\)]\(Exp[ \*SuperscriptBox[\(x\), \(a\)]] \[DifferentialD]x\)\)], HoldForm[ LaplaceTransform[E^(-a t^2), t, s, GenerateConditions -> True]], HoldForm[Sum[1/n^a, {n, \[Infinity]}, GenerateConditions -> True]], HoldForm[FourierSeries[a^x, x, 1, GenerateConditions -> True]], HoldForm[ InverseFunction[ ConditionalExpression[Sin[#1^2 - 1/2], 0 < #1 < 1] &]], HoldForm[Refine[ConditionalExpression[Sqrt[(x - y)^2], x < y]]]}; FormulaGallery[forms_List] := Module[{vals = ParallelMap[ReleaseHold, forms]}, TraditionalForm@ Grid[Table[{forms[[i]], vals[[i]]}, {i, Length[forms]}], Dividers -> All, Spacings -> {{1, 1}, 5}, Alignment -> {{Left, Left}, Baseline}, BaseStyle -> {FontFamily -> "Verdana"}, Background -> {None, {{Lighter[Blend[{Blue, Green}], .8], White}}}]]; Pane[FormulaGallery[inputs], 550]
Out[1]=
