| 147 | } |
| 148 | |
| 149 | static void list1(const char* s, idhdl h,BOOLEAN c, BOOLEAN fullname) |
| 150 | { |
| 151 | char buffer[22]; |
| 152 | int l; |
| 153 | char buf2[128]; |
| 154 | |
| 155 | if(fullname) snprintf(buf2,128, "%s::%s", "", IDID(h)); |
| 156 | else snprintf(buf2,128, "%s", IDID(h)); |
| 157 | |
| 158 | Print("%s%-30.30s [%d] ",s,buf2,IDLEV(h)); |
| 159 | if (h == currRingHdl) PrintS("*"); |
| 160 | PrintS(Tok2Cmdname((int)IDTYP(h))); |
| 161 | |
| 162 | ipListFlag(h); |
| 163 | switch(IDTYP(h)) |
| 164 | { |
| 165 | case ALIAS_CMD: Print(" for %s",IDID((idhdl)IDDATA(h))); break; |
| 166 | case INT_CMD: Print(" %d",IDINT(h)); break; |
| 167 | case INTVEC_CMD:Print(" (%d)",IDINTVEC(h)->length()); break; |
| 168 | case INTMAT_CMD:Print(" %d x %d",IDINTVEC(h)->rows(),IDINTVEC(h)->cols()); |
| 169 | break; |
| 170 | case POLY_CMD: |
| 171 | case VECTOR_CMD:if (c) |
| 172 | { |
| 173 | PrintS(" ");wrp(IDPOLY(h)); |
| 174 | if(IDPOLY(h) != NULL) |
| 175 | { |
| 176 | Print(", %d monomial(s)",pLength(IDPOLY(h))); |
| 177 | } |
| 178 | } |
| 179 | break; |
| 180 | case MODUL_CMD: Print(", rk %d", (int)(IDIDEAL(h)->rank));// and continue |
| 181 | case IDEAL_CMD: Print(", %u generator(s)", |
| 182 | IDELEMS(IDIDEAL(h))); break; |
| 183 | case MAP_CMD: |
| 184 | Print(" from %s",IDMAP(h)->preimage); break; |
| 185 | case MATRIX_CMD:Print(" %u x %u" |
| 186 | ,MATROWS(IDMATRIX(h)) |
| 187 | ,MATCOLS(IDMATRIX(h)) |
| 188 | ); |
| 189 | break; |
| 190 | case SMATRIX_CMD:Print(" %u x %u" |
| 191 | ,(int)(IDIDEAL(h)->rank) |
| 192 | ,IDELEMS(IDIDEAL(h)) |
| 193 | ); |
| 194 | break; |
| 195 | case PACKAGE_CMD: |
| 196 | paPrint(IDID(h),IDPACKAGE(h)); |
| 197 | break; |
| 198 | case PROC_CMD: if((IDPROC(h)->libname!=NULL) |
| 199 | && (strlen(IDPROC(h)->libname)>0)) |
| 200 | Print(" from %s",IDPROC(h)->libname); |
| 201 | if(IDPROC(h)->language==LANG_C) |
| 202 | PrintS(" (C)"); |
| 203 | if(IDPROC(h)->is_static) |
| 204 | PrintS(" (static)"); |
| 205 | break; |
| 206 | case STRING_CMD: |
no test coverage detected