diff --git a/math/src/circle/cosets.rs b/math/src/circle/cosets.rs
index 1448ac913..709ea76fc 100644
--- a/math/src/circle/cosets.rs
+++ b/math/src/circle/cosets.rs
@@ -1,6 +1,7 @@
 extern crate alloc;
 use crate::circle::point::CirclePoint;
 use crate::field::fields::mersenne31::field::Mersenne31Field;
+use alloc::vec::Vec;
 
 /// Given g_n, a generator of the subgroup <g_n> of the circle of size n,
 /// and given a shift, that is a another point of the cirvle,
diff --git a/math/src/circle/polynomial.rs b/math/src/circle/polynomial.rs
index a6692216a..e8ffa905d 100644
--- a/math/src/circle/polynomial.rs
+++ b/math/src/circle/polynomial.rs
@@ -8,6 +8,7 @@ use crate::{
     fft::cpu::bit_reversing::in_place_bit_reverse_permute,
     field::{element::FieldElement, fields::mersenne31::field::Mersenne31Field},
 };
+use alloc::vec::Vec;
 
 /// Given the 2^n coefficients of a two-variables polynomial of degree 2^n - 1 in the basis {1, y, x, xy, 2xˆ2 -1, 2xˆ2y-y, 2xˆ3-x, 2xˆ3y-xy,...}
 /// returns the evaluation of the polynomial on the points of the standard coset of size 2^n.
diff --git a/math/src/circle/twiddles.rs b/math/src/circle/twiddles.rs
index 4c7a8b115..1d0351388 100644
--- a/math/src/circle/twiddles.rs
+++ b/math/src/circle/twiddles.rs
@@ -3,6 +3,7 @@ use crate::{
     circle::cosets::Coset,
     field::{element::FieldElement, fields::mersenne31::field::Mersenne31Field},
 };
+use alloc::vec::Vec;
 
 #[derive(PartialEq)]
 pub enum TwiddlesConfig {