check-definition-output.json

back to table · edit · history · where entries came from · files · download

474 bytes, as of the version from 2026-10-25 13:49 (current). Recorded here, not run.

{
  "sage_version": "10.9",
  "control_bilaplacian_x4_plus_y4": "48",
  "control_normal_derivative_x_plus_2y": "nu_x + 2*nu_y",
  "zero_solution_pde_residual": "0 for arbitrary lam",
  "zero_solution_boundary_value": "0",
  "zero_solution_normal_derivative": "0 for arbitrary normal",
  "conclusion": "The zero function satisfies the homogeneous equations for every lam; the definition of an eigenvalue requires a nonzero solution.",
  "spectral_values_recomputed": false
}