xref: /plan9/sys/src/cmd/eqn/paren.c (revision 3e12c5d1bb89fc02707907988834ef147769ddaf)
1*3e12c5d1SDavid du Colombier #include "e.h"
2*3e12c5d1SDavid du Colombier 
3*3e12c5d1SDavid du Colombier #define abs(x) ((x) > 0 ? (x) : (-(x)))
4*3e12c5d1SDavid du Colombier 
5*3e12c5d1SDavid du Colombier extern void brack(int, char *, char *, char *);
6*3e12c5d1SDavid du Colombier 
paren(int leftc,int p1,int rightc)7*3e12c5d1SDavid du Colombier void paren(int leftc, int p1, int rightc)
8*3e12c5d1SDavid du Colombier {
9*3e12c5d1SDavid du Colombier 	int n, m, j;
10*3e12c5d1SDavid du Colombier 	double h1, b1;
11*3e12c5d1SDavid du Colombier 	double v, bv;	/* v = shift of inside, bv = shift of brackets */
12*3e12c5d1SDavid du Colombier 	extern double Parenbase, Parenshift, Parenheight;
13*3e12c5d1SDavid du Colombier 
14*3e12c5d1SDavid du Colombier 	bv = ttype == DEVPOST ? Parenshift : 0;	/* move brackets down this much */
15*3e12c5d1SDavid du Colombier 	h1 = eht[p1];
16*3e12c5d1SDavid du Colombier 	b1 = ebase[p1];
17*3e12c5d1SDavid du Colombier 	yyval = p1;
18*3e12c5d1SDavid du Colombier 	lfont[yyval] = rfont[yyval] = 0;
19*3e12c5d1SDavid du Colombier 	n = REL(h1,ps) + 0.99;	/* ceiling */
20*3e12c5d1SDavid du Colombier 	if (n < 2)
21*3e12c5d1SDavid du Colombier 		n = 1;
22*3e12c5d1SDavid du Colombier 	m = n - 2;
23*3e12c5d1SDavid du Colombier 	if (leftc == '{' || rightc == '}') {
24*3e12c5d1SDavid du Colombier 		n = n%2 ? n : ++n;
25*3e12c5d1SDavid du Colombier 		if (n < 3)
26*3e12c5d1SDavid du Colombier 			n = 3;
27*3e12c5d1SDavid du Colombier 		m = n-3;
28*3e12c5d1SDavid du Colombier 	}
29*3e12c5d1SDavid du Colombier 	eht[yyval] = EM((double) n + Parenheight, ps);
30*3e12c5d1SDavid du Colombier 	ebase[yyval] = eht[yyval]/2 - EM(Parenbase, ps);
31*3e12c5d1SDavid du Colombier 
32*3e12c5d1SDavid du Colombier 	/* try to cope with things that are badly centered */
33*3e12c5d1SDavid du Colombier 	/* (top heavy or bottom heavy) */
34*3e12c5d1SDavid du Colombier 	if (abs(h1/2 - b1) >= EM(0.5, ps))
35*3e12c5d1SDavid du Colombier 		v = REL(-ebase[yyval] + (eht[yyval]-h1)/2 + b1, ps);
36*3e12c5d1SDavid du Colombier 	else
37*3e12c5d1SDavid du Colombier 		v = 0;	/* don't shift it at all */
38*3e12c5d1SDavid du Colombier 
39*3e12c5d1SDavid du Colombier 	printf(".ds %d \\^", yyval);	/* was \| */
40*3e12c5d1SDavid du Colombier 	if (bv)
41*3e12c5d1SDavid du Colombier 		printf("\\v'%gm'", bv);
42*3e12c5d1SDavid du Colombier 	switch (leftc) {
43*3e12c5d1SDavid du Colombier 	case 'n':	/* nothing */
44*3e12c5d1SDavid du Colombier 	case '\0':
45*3e12c5d1SDavid du Colombier 		break;
46*3e12c5d1SDavid du Colombier 	case 'f':	/* floor */
47*3e12c5d1SDavid du Colombier 		if (n <= 1)
48*3e12c5d1SDavid du Colombier 			printf("\\(lf");
49*3e12c5d1SDavid du Colombier 		else
50*3e12c5d1SDavid du Colombier 			brack(m, "\\(bv", "\\(bv", "\\(lf");
51*3e12c5d1SDavid du Colombier 		break;
52*3e12c5d1SDavid du Colombier 	case 'c':	/* ceiling */
53*3e12c5d1SDavid du Colombier 		if (n <= 1)
54*3e12c5d1SDavid du Colombier 			printf("\\(lc");
55*3e12c5d1SDavid du Colombier 		else
56*3e12c5d1SDavid du Colombier 			brack(m, "\\(lc", "\\(bv", "\\(bv");
57*3e12c5d1SDavid du Colombier 		break;
58*3e12c5d1SDavid du Colombier 	case '{':
59*3e12c5d1SDavid du Colombier 		printf("\\b'\\(lt");
60*3e12c5d1SDavid du Colombier 		for(j = 0; j < m; j += 2) printf("\\(bv");
61*3e12c5d1SDavid du Colombier 		printf("\\(lk");
62*3e12c5d1SDavid du Colombier 		for(j = 0; j < m; j += 2) printf("\\(bv");
63*3e12c5d1SDavid du Colombier 		printf("\\(lb'");
64*3e12c5d1SDavid du Colombier 		break;
65*3e12c5d1SDavid du Colombier 	case '(':
66*3e12c5d1SDavid du Colombier 		brack(m, "\\(lt", "\\(bv", "\\(lb");
67*3e12c5d1SDavid du Colombier 		break;
68*3e12c5d1SDavid du Colombier 	case '[':
69*3e12c5d1SDavid du Colombier 		brack(m, "\\(lc", "\\(bv", "\\(lf");
70*3e12c5d1SDavid du Colombier 		break;
71*3e12c5d1SDavid du Colombier 	case '|':
72*3e12c5d1SDavid du Colombier 		brack(m, "|", "|", "|");
73*3e12c5d1SDavid du Colombier 		break;
74*3e12c5d1SDavid du Colombier 	default:
75*3e12c5d1SDavid du Colombier 		brack(m, (char *) &leftc, (char *) &leftc, (char *) &leftc);
76*3e12c5d1SDavid du Colombier 		break;
77*3e12c5d1SDavid du Colombier 	}
78*3e12c5d1SDavid du Colombier 	if (bv)
79*3e12c5d1SDavid du Colombier 		printf("\\v'%gm'", -bv);
80*3e12c5d1SDavid du Colombier 	if (v)
81*3e12c5d1SDavid du Colombier 		printf("\\v'%gm'\\*(%d\\v'%gm'", -v, p1, v);
82*3e12c5d1SDavid du Colombier 	else
83*3e12c5d1SDavid du Colombier 		printf("\\*(%d", p1);
84*3e12c5d1SDavid du Colombier 	if (rightc) {
85*3e12c5d1SDavid du Colombier 		if (bv)
86*3e12c5d1SDavid du Colombier 			printf("\\v'%gm'", bv);
87*3e12c5d1SDavid du Colombier 		switch (rightc) {
88*3e12c5d1SDavid du Colombier 		case 'f':	/* floor */
89*3e12c5d1SDavid du Colombier 			if (n <= 1)
90*3e12c5d1SDavid du Colombier 				printf("\\(rf");
91*3e12c5d1SDavid du Colombier 			else
92*3e12c5d1SDavid du Colombier 				brack(m, "\\(bv", "\\(bv", "\\(rf");
93*3e12c5d1SDavid du Colombier 			break;
94*3e12c5d1SDavid du Colombier 		case 'c':	/* ceiling */
95*3e12c5d1SDavid du Colombier 			if (n <= 1)
96*3e12c5d1SDavid du Colombier 				printf("\\(rc");
97*3e12c5d1SDavid du Colombier 			else
98*3e12c5d1SDavid du Colombier 				brack(m, "\\(rc", "\\(bv", "\\(bv");
99*3e12c5d1SDavid du Colombier 			break;
100*3e12c5d1SDavid du Colombier 		case '}':
101*3e12c5d1SDavid du Colombier 			printf("\\b'\\(rt");
102*3e12c5d1SDavid du Colombier 			for(j = 0; j < m; j += 2) printf("\\(bv");
103*3e12c5d1SDavid du Colombier 			printf("\\(rk");
104*3e12c5d1SDavid du Colombier 			for(j = 0; j < m; j += 2) printf("\\(bv");
105*3e12c5d1SDavid du Colombier 			printf("\\(rb'");
106*3e12c5d1SDavid du Colombier 			break;
107*3e12c5d1SDavid du Colombier 		case ']':
108*3e12c5d1SDavid du Colombier 			brack(m, "\\(rc", "\\(bv", "\\(rf");
109*3e12c5d1SDavid du Colombier 			break;
110*3e12c5d1SDavid du Colombier 		case ')':
111*3e12c5d1SDavid du Colombier 			brack(m, "\\(rt", "\\(bv", "\\(rb");
112*3e12c5d1SDavid du Colombier 			break;
113*3e12c5d1SDavid du Colombier 		case '|':
114*3e12c5d1SDavid du Colombier 			brack(m, "|", "|", "|");
115*3e12c5d1SDavid du Colombier 			break;
116*3e12c5d1SDavid du Colombier 		default:
117*3e12c5d1SDavid du Colombier 			brack(m, (char *) &rightc, (char *) &rightc, (char *) &rightc);
118*3e12c5d1SDavid du Colombier 			break;
119*3e12c5d1SDavid du Colombier 		}
120*3e12c5d1SDavid du Colombier 		if (bv)
121*3e12c5d1SDavid du Colombier 			printf("\\v'%gm'", -bv);
122*3e12c5d1SDavid du Colombier 	}
123*3e12c5d1SDavid du Colombier 	printf("\n");
124*3e12c5d1SDavid du Colombier 	dprintf(".\tcurly: h=%g b=%g n=%d v=%g l=%c, r=%c\n",
125*3e12c5d1SDavid du Colombier 		eht[yyval], ebase[yyval], n, v, leftc, rightc);
126*3e12c5d1SDavid du Colombier }
127*3e12c5d1SDavid du Colombier 
brack(int m,char * t,char * c,char * b)128*3e12c5d1SDavid du Colombier void brack(int m, char *t, char *c, char *b)
129*3e12c5d1SDavid du Colombier {
130*3e12c5d1SDavid du Colombier 	int j;
131*3e12c5d1SDavid du Colombier 	printf("\\b'%s", t);
132*3e12c5d1SDavid du Colombier 	for( j=0; j < m; j++)
133*3e12c5d1SDavid du Colombier 		printf("%s", c);
134*3e12c5d1SDavid du Colombier 	printf("%s'", b);
135*3e12c5d1SDavid du Colombier }
136