Lines Matching refs:polynomial
5 #my_poly = #polynomial.int_polynomial<1 + x**1024>
6 #my_poly_2 = #polynomial.int_polynomial<2>
7 #my_poly_3 = #polynomial.int_polynomial<3x>
8 #my_poly_4 = #polynomial.int_polynomial<t**3 + 4t + 2>
9 #ring1 = #polynomial.ring<coefficientType=i32, coefficientModulus=2837465, polynomialModulus=#my_po…
10 #ring2 = #polynomial.ring<coefficientType=f32>
11 #one_plus_x_squared = #polynomial.int_polynomial<1 + x**2>
13 #ideal = #polynomial.int_polynomial<-1 + x**1024>
14 #ring = #polynomial.ring<coefficientType=i32, coefficientModulus=256, polynomialModulus=#ideal>
15 !poly_ty = !polynomial.polynomial<ring=#ring>
17 #ntt_poly = #polynomial.int_polynomial<-1 + x**8>
18 #ntt_ring = #polynomial.ring<coefficientType=i32, coefficientModulus=256, polynomialModulus=#ntt_po…
19 !ntt_poly_ty = !polynomial.polynomial<ring=#ntt_ring>
21 #ntt_poly_2 = #polynomial.int_polynomial<1 + x**65536>
22 #ntt_ring_2 = #polynomial.ring<coefficientType = i32, coefficientModulus = 786433 : i32, polynomial…
23 #ntt_ring_2_root = #polynomial.primitive_root<value=283965:i32, degree=131072:i32>
24 !ntt_poly_ty_2 = !polynomial.polynomial<ring=#ntt_ring_2>
27 func.func @test_multiply() -> !polynomial.polynomial<ring=#ring1> {
34 %poly1 = polynomial.from_tensor %coeffs1 : tensor<3xi16> -> !polynomial.polynomial<ring=#ring1>
35 %poly2 = polynomial.from_tensor %coeffs2 : tensor<3xi16> -> !polynomial.polynomial<ring=#ring1>
37 %3 = polynomial.mul %poly1, %poly2 : !polynomial.polynomial<ring=#ring1>
39 return %3 : !polynomial.polynomial<ring=#ring1>
42 …func.func @test_elementwise(%p0 : !polynomial.polynomial<ring=#ring1>, %p1: !polynomial.polynomial…
43 %tp0 = tensor.from_elements %p0, %p1 : tensor<2x!polynomial.polynomial<ring=#ring1>>
44 %tp1 = tensor.from_elements %p1, %p0 : tensor<2x!polynomial.polynomial<ring=#ring1>>
47 …%mul_const_sclr = polynomial.mul_scalar %tp0, %c : tensor<2x!polynomial.polynomial<ring=#ring1>>, …
49 %add = polynomial.add %tp0, %tp1 : tensor<2x!polynomial.polynomial<ring=#ring1>>
50 %sub = polynomial.sub %tp0, %tp1 : tensor<2x!polynomial.polynomial<ring=#ring1>>
51 %mul = polynomial.mul %tp0, %tp1 : tensor<2x!polynomial.polynomial<ring=#ring1>>
56 func.func @test_to_from_tensor(%p0 : !polynomial.polynomial<ring=#ring1>) {
61 %poly = polynomial.from_tensor %coeffs1 : tensor<2xi16> -> !polynomial.polynomial<ring=#ring1>
63 %tensor = polynomial.to_tensor %poly : !polynomial.polynomial<ring=#ring1> -> tensor<1024xi16>
68 func.func @test_degree(%p0 : !polynomial.polynomial<ring=#ring1>) {
69 %0, %1 = polynomial.leading_term %p0 : !polynomial.polynomial<ring=#ring1> -> (index, i32)
76 %0 = polynomial.monomial %five, %deg : (i16, index) -> !polynomial.polynomial<ring=#ring1>
82 %0 = polynomial.constant int<1 + x**2> : !polynomial.polynomial<ring=#ring1>
83 …%1 = polynomial.monic_monomial_mul %0, %five : (!polynomial.polynomial<ring=#ring1>, index) -> !po…
88 %0 = polynomial.constant int<1 + x**2> : !polynomial.polynomial<ring=#ring1>
89 %1 = polynomial.constant int<1 + x**2> : !polynomial.polynomial<ring=#ring1>
90 %2 = polynomial.constant float<1.5 + 0.5 x**2> : !polynomial.polynomial<ring=#ring2>
93 …%verb0 = polynomial.constant #polynomial.typed_int_polynomial<1 + x**2> : !polynomial.polynomial<r…
94 …%verb2 = polynomial.constant #polynomial.typed_float_polynomial<1.5 + 0.5 x**2> : !polynomial.poly…
99 …%1 = polynomial.ntt %0 {root=#polynomial.primitive_root<value=31:i32, degree=8:index>} : !ntt_poly…
104 … %1 = polynomial.ntt %0 {root=#ntt_ring_2_root} : !ntt_poly_ty_2 -> tensor<65536xi32, #ntt_ring_2>
109 …%1 = polynomial.intt %0 {root=#polynomial.primitive_root<value=31:i32, degree=8:index>} : tensor<8…