Algoritmos de núcleo

Expresiones condicionalmente válidas

Expresiones condicionalmente válidas como entradas y salidas de funciones de Mathematica.

In[1]:=

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]=