File: equality3.pwqp

package info (click to toggle)
isl 0.23-1
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 16,356 kB
  • sloc: ansic: 162,115; python: 15,166; sh: 7,644; cpp: 4,032; makefile: 651; lisp: 148; perl: 9
file content (1 line) | stat: -rw-r--r-- 77 bytes parent folder | download | duplicates (45) 
1
 
[m,n] -> { [x,y] -> x^2 * y : n = 2x + 4y and 0 <= x,y <= 10 and 3 n = 5 m }