8

There is an undocumented function Internal`RadicalMemberQ which takes two arguments. But whatever input I try for the two arguments, it seems to crash the kernel (Mathematica 10.3 on Mac OS X). Can anyone guess what the function does based on the name of this function?

Internal`RadicalMemberQ[Sqrt[x], x]           (*Kernel crash*)

Internal`RadicalMemberQ[2, x]                 (*Kernel crash*)

Internal`RadicalMemberQ[a x^2 + 2 x - b, x]   (*Kernel crash*)
J. M.'s missing motivation
  • 124,525
  • 11
  • 401
  • 574
QuantumDot
  • 19,601
  • 7
  • 45
  • 121

1 Answers1

13

For an example,

Internal`RadicalMemberQ[x y, {x^2 y, x y^3}]

(* True *)

which means that $x y$ belongs to the radical of the polynomial ideal generated by $x^2 y$ and $x y^3$.

The method used to obtain the result is effectively Property 3 in the Gröbner Bases documentation, see http://reference.wolfram.com/language/tutorial/ComplexPolynomialSystems.html.

As is the case with many undocumented and internal functions, there is no obligation to avoid crashes or strange results when given unexpected input.

ilian
  • 25,474
  • 4
  • 117
  • 186