You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
17 lines
236 B
17 lines
236 B
template X() {
|
|
signal input x;
|
|
signal output y;
|
|
signal x2;
|
|
signal x3;
|
|
var a;
|
|
compute {
|
|
a = (x*x*x+6)/x;
|
|
y <-- a;
|
|
}
|
|
|
|
x2 <== x*x;
|
|
x3 <== x2*x;
|
|
x*y === x3+6;
|
|
}
|
|
|
|
component main = X();
|