{"record":{"id":"c3423da15fce3315","repo":"jax-ml/jax","slug":"order-of-integral-must-be-positive-see-polyder","errorCode":null,"errorMessage":"Order of integral must be positive (see polyder)","messagePattern":"Order of integral must be positive \\(see polyder\\)","errorType":"validation","errorClass":"ValueError","httpStatus":null,"severity":"error","filePath":"jax/_src/numpy/polynomial.py","lineNumber":565,"sourceCode":"\n    >>> jnp.polyint(p, m=2)\n    Array([1., 2., 3., 0., 0.], dtype=float32)\n\n    When ``m>=2``, the constants ``k`` should be provided as an array having\n    ``m`` elements. The second order integration of the polynomial\n    :math:`12 x^2 + 12 x + 6` with the constants ``k=[4, 5]`` is\n    :math:`x^4 + 2 x^3 + 3 x^2 + 4 x + 5`:\n\n    >>> jnp.polyint(p, m=2, k=jnp.array([4, 5]))\n    Array([1., 2., 3., 4., 5.], dtype=float32)\n  \"\"\"\n  m = core.concrete_or_error(operator.index, m, \"'m' argument of jnp.polyint\")\n  k = 0 if k is None else k\n  p, k = ensure_arraylike(\"polyint\", p, k)\n  p_arr, k_arr = promote_dtypes_inexact(p, k)\n  del p, k\n  if m < 0:\n    raise ValueError(\"Order of integral must be positive (see polyder)\")\n  k_arr = atleast_1d(k_arr)\n  if len(k_arr) == 1:\n    k_arr = full((m,), k_arr[0])\n  if k_arr.shape != (m,):\n    raise ValueError(\"k must be a scalar or a rank-1 array of length 1 or m.\")\n  if m == 0:\n    return p_arr\n  else:\n    grid = (arange(len(p_arr) + m, dtype=p_arr.dtype)[np.newaxis]\n            - arange(m, dtype=p_arr.dtype)[:, np.newaxis])\n    coeff = maximum(1, grid).prod(0)[::-1]\n    return true_divide(concatenate((p_arr, k_arr)), coeff)\n\n\n@export\n@api.jit(static_argnames=('m',))\ndef polyder(p: ArrayLike, m: int = 1) -> Array:\n  r\"\"\"Returns the coefficients of the derivative of specified order of a polynomial.","sourceCodeStart":547,"sourceCodeEnd":583,"githubUrl":"https://github.com/jax-ml/jax/blob/1e1c6a8fc06dfcd1247076ec5cae4640cea5d7bb/jax/_src/numpy/polynomial.py#L547-L583","documentation":"jnp.polyint computes the m-th antiderivative; m must be a non-negative integer. A negative m raises this error because differentiation is handled by a separate function, jnp.polyder.","triggerScenarios":"Calling jnp.polyint(p, m=-1) (or any negative m). m is converted with operator.index, so floats raise a separate concreteness/type error, but any negative int hits this branch.","commonSituations":"Sign confusion between integration and differentiation orders; dynamically computed m that can go negative in loops (e.g. repeatedly differentiating/integrating).","solutions":["Use jnp.polyder for negative-order intent (differentiation)","Take abs(m) or clamp m to >= 0 if the sign is a bug","Guard with m = max(m, 0) before calling"],"exampleFix":"// before\njnp.polyint(p, m=-2)\n// after\nfrom jax._src.numpy.polynomial import polyder\npolyder(p, m=2)","handlingStrategy":"validation","validationCode":"m = max(int(m), 0)  # or reject negatives explicitly before polyint","typeGuard":"null","tryCatchPattern":null,"preventionTips":["Treat negative m as a call to polyder","Validate integer order parameters at API boundaries"],"tags":["jax","polyint","argument-validation"],"backgroundTag":"invalid-argument-value","analyzedSha":"1e1c6a8fc06dfcd1247076ec5cae4640cea5d7bb","analyzedAt":"2026-08-27T09:53:25.647Z","schemaVersion":2},"datasetVersion":"2026-08-27T13:17:12.746Z"}