Function field_to_conic 

fn field_to_conic(t: Fp, params: &Params<Fp>, w: &mut Witness<Fp>) -> Conic<Fp>