Rev 9147 | Rev 11132 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 9147 | Rev 11125 | ||
|---|---|---|---|
| Line 57... | Line 57... | ||
| 57 | void _tex_sums(char *p, char *name, int type) |
57 | void _tex_sums(char *p, char *name, int type) |
| 58 | { |
58 | { |
| 59 | char *p1,*p2,*p3; |
59 | char *p1,*p2,*p3; |
| 60 | p1=find_item_end(p); if(*p1) *(p1++)=0; |
60 | p1=find_item_end(p); if(*p1) *(p1++)=0; |
| 61 | p2=find_item_end(p1); p3=strparstr(p1,"="); |
61 | p2=find_item_end(p1); p3=strparstr(p1,"="); |
| - | 62 | if(p3<p2) p2=p3; |
|
| 62 |
|
63 | if(*p2) *(p2++)=0; |
| 63 | p3=find_item_end(p2); |
64 | p3=find_item_end(p2); |
| 64 | if(*p3) *(p3++)=0; |
65 | if(*p3) *(p3++)=0; |
| 65 | tprint("\\%s ",name); |
66 | tprint("\\%s ",name); |
| 66 | if(type) { |
67 | if(type) { |
| 67 | if(*p2) { |
68 | if(*p2) { |
| Line 333... | Line 334... | ||
| 333 | struct afactor *t1, *t2; |
334 | struct afactor *t1, *t2; |
| 334 | int i1,i2; |
335 | int i1,i2; |
| 335 | 336 | ||
| 336 | t1=*(struct afactor **) p1; t2=*(struct afactor **) p2; |
337 | t1=*(struct afactor **) p1; t2=*(struct afactor **) p2; |
| 337 | i1=t1->type; i2=t2->type; |
338 | i1=t1->type; i2=t2->type; |
| - | 339 | if(i1>type_var) i1=type_var; |
|
| 338 |
|
340 | if(i2>type_var) i2=type_var; |
| 339 | return i1-i2; |
341 | return i1-i2; |
| 340 | } |
342 | } |
| 341 | 343 | ||
| 342 | void t_oneterm(char *p, int num) |
344 | void t_oneterm(char *p, int num) |
| 343 | { |
345 | { |
| Line 356... | Line 358... | ||
| 356 | if(*p!='>') {tprint("\\le ");break;} // <= , <=== |
358 | if(*p!='>') {tprint("\\le ");break;} // <= , <=== |
| 357 | else {tprint("\\iff ");p++; break;} // <==> |
359 | else {tprint("\\iff ");p++; break;} // <==> |
| 358 | } |
360 | } |
| 359 | case '>': { |
361 | case '>': { |
| 360 | rel++; p++; if(*p!='=') {tprint(" > "); rel=1; break;} // > |
362 | rel++; p++; if(*p!='=') {tprint(" > "); rel=1; break;} // > |
| 361 | while(*p=='=') p++; |
363 | while(*p=='=') p++; |
| - | 364 | tprint("\\ge "); // >= |
|
| 362 | break; |
365 | break; |
| 363 | } |
366 | } |
| 364 | case '-': { |
367 | case '-': { |
| 365 | for(pp=p;*pp=='-';pp++); |
368 | for(pp=p;*pp=='-';pp++); |
| 366 | if(*pp!='>') break; |
369 | if(*pp!='>') break; |
| Line 505... | Line 508... | ||
| 505 | } |
508 | } |
| 506 | if(strlen(pp)==1 && t==0) tprint("^%s ",pp); |
509 | if(strlen(pp)==1 && t==0) tprint("^%s ",pp); |
| 507 | else { |
510 | else { |
| 508 | tprint(" ^{"); if(t) tprint("("); |
511 | tprint(" ^{"); if(t) tprint("("); |
| 509 | t_onestring(pp); |
512 | t_onestring(pp); |
| 510 | if(t) tprint(") |
513 | if(t) tprint(")"); |
| - | 514 | tprint("} "); |
|
| 511 | } |
515 | } |
| 512 | } |
516 | } |
| 513 | 517 | ||
| 514 | void t_onefactor(struct afactor *fb, int num) |
518 | void t_onefactor(struct afactor *fb, int num) |
| 515 | { |
519 | { |