(* kennedy11b.rml  --  'powers' function from Kennedy (p. 11). *)
;

(*[ val simplified_powers : -all d:dim- real(d^2) * real(d^5) -> real(d^10)
]*)

fun simplified_powers (x, y) = x*x*x*x*x + y*y


(*[ val powers : -all d:dim- real(d^15) * real(d^6) * real(d^5) -> real(d^30)
]*)

fun powers (x, y, z) = x*x + y*y*y*y*y + z*z*z*z*z*z