| 1080 | } |
| 1081 | |
| 1082 | static void idLift_setUnit(int e_mod, matrix *unit) |
| 1083 | { |
| 1084 | if (unit!=NULL) |
| 1085 | { |
| 1086 | *unit=mpNew(e_mod,e_mod); |
| 1087 | // make sure that U is a diagonal matrix of units |
| 1088 | for(int i=e_mod;i>0;i--) |
| 1089 | { |
| 1090 | MATELEM(*unit,i,i)=pOne(); |
| 1091 | } |
| 1092 | } |
| 1093 | } |
| 1094 | /*2 |
| 1095 | *computes a representation of the generators of submod with respect to those |
| 1096 | * of mod |