Home
last modified time | relevance | path

Searched refs:pp_line (Results 1 – 25 of 77) sorted by relevance

1234

/dports/math/reduce/Reduce-svn5758-src/packages/geometry/
H A Dold-geometry.tst168 con:=concurrent(pp_line(a,p), pp_line(b,q), pp_line(c,r));
199 con:=concurrent(pp_line(a,r),pp_line(b,s),pp_line(c,t));
207 parallel(pp_line(s,t),pp_line(b,c)),
208 parallel(pp_line(r,t),pp_line(a,c))};
210 con:=concurrent(pp_line(a,r),pp_line(b,s),pp_line(c,t));
224 con2:=concurrent(pp_line(a,r),pp_line(b,s),pp_line(c,t));
305 orthogonal(pp_line(a,b),pp_line(p,x)),
306 orthogonal(pp_line(a,c),pp_line(p,z)),
327 orthogonal(pp_line(b,c),pp_line(p,y)),
527 con:=concurrent(pp_line(a,m),pp_line(d,n),pp_line(x,y));
[all …]
H A Dold-geometry.rlg551 con:=concurrent(pp_line(A,P), pp_line(B,Q), pp_line(C,R));
691 con:=concurrent(pp_line(A,R),pp_line(B,S),pp_line(C,T));
727 parallel(pp_line(S,T),pp_line(B,C)),
728 parallel(pp_line(R,T),pp_line(A,C))};
736 con:=concurrent(pp_line(A,R),pp_line(B,S),pp_line(C,T));
820 con2:=concurrent(pp_line(A,R),pp_line(B,S),pp_line(C,T));
1140 orthogonal(pp_line(A,B),pp_line(P,X)),
1141 orthogonal(pp_line(A,C),pp_line(P,Z)),
1235 orthogonal(pp_line(B,C),pp_line(P,Y)),
2022 con:=concurrent(pp_line(A,M),pp_line(D,N),pp_line(X,Y));
[all …]
H A Dgeoprover.tst206 d__:=intersection_point(pp_line(a__,b__),pp_line(h__,c__));
236 q__:=pedalpoint(p__,pp_line(a__,b__));
273 con_:=is_concurrent(pp_line(a__,p__), pp_line(b__,q__), pp_line(c__,r__));
295 p__:=pedalpoint(a__,pp_line(b__,c__));
296 q__:=pedalpoint(b__,pp_line(a__,c__));
297 r__:=pedalpoint(c__,pp_line(a__,b__));
298 p_1_:=pedalpoint(p__,pp_line(a__,b__));
299 p_2_:=pedalpoint(p__,pp_line(a__,c__));
396 con_:=is_concurrent(pp_line(a__,m__),pp_line(d__,n__),pp_line(x__,y__));
421 a__:=sym_point(b__,pp_line(o__,d__));
[all …]
H A Dgeoprover.red72 algebraic procedure pp_line(a,b);
187 % u:=angle(pp_line(A,B),pp_line(P,B))
188 % v:=angle(pp_line(P,B),pp_line(C,B))
352 ortho_line(a__,pp_line(b__,c__));
370 pp_line(a__,midpoint(b__,c__));
379 intersection_point(ortho_line(a__,pp_line(m__,a__)),
380 ortho_line(b__,pp_line(m__,b__)));
383 l2_angle(pp_line(b__,a__),pp_line(b__,c__));
392 ortho_line(midpoint(b__,c__),pp_line(b__,c__));
395 pp_line(intersection_point(pp_line(a__,e__),pp_line(b__,d__)),
[all …]
H A Dgeoprover.rlg453 d__:=intersection_point(pp_line(a__,b__),pp_line(h__,c__));
542 q__:=pedalpoint(p__,pp_line(a__,b__));
661 con_:=is_concurrent(pp_line(a__,p__), pp_line(b__,q__), pp_line(c__,r__));
716 p__:=pedalpoint(a__,pp_line(b__,c__));
722 q__:=pedalpoint(b__,pp_line(a__,c__));
728 r__:=pedalpoint(c__,pp_line(a__,b__));
733 p_1_:=pedalpoint(p__,pp_line(a__,b__));
738 p_2_:=pedalpoint(p__,pp_line(a__,c__));
1037 con_:=is_concurrent(pp_line(a__,m__),pp_line(d__,n__),pp_line(x__,y__));
1115 a__:=sym_point(b__,pp_line(o__,d__));
[all …]
H A Dold-geometry.red118 algebraic procedure pp_line(a,b);
204 lot(midpoint(b,c),pp_line(b,c));
208 lot(a,pp_line(b,c));
212 pp_line(a,midpoint(b,c));
232 l2_angle(pp_line(b,a),pp_line(b,c));
243 % u:=angle(pp_line(A,B),pp_line(P,B))
244 % v:=angle(pp_line(P,B),pp_line(C,B))
/dports/math/reduce/Reduce-svn5758-src/xmpl/
H A Dgeoprover.tst206 D__:=intersection_point(pp_line(A__,B__),pp_line(H__,C__));
236 Q__:=pedalpoint(P__,pp_line(A__,B__));
273 con_:=is_concurrent(pp_line(A__,P__), pp_line(B__,Q__), pp_line(C__,R__));
295 P__:=pedalpoint(A__,pp_line(B__,C__));
296 Q__:=pedalpoint(B__,pp_line(A__,C__));
297 R__:=pedalpoint(C__,pp_line(A__,B__));
298 P_1_:=pedalpoint(P__,pp_line(A__,B__));
299 P_2_:=pedalpoint(P__,pp_line(A__,C__));
396 con_:=is_concurrent(pp_line(A__,M__),pp_line(D__,N__),pp_line(X__,Y__));
421 A__:=sym_point(B__,pp_line(O__,D__));
[all …]
H A Dgeoprover.rlg453 D__:=intersection_point(pp_line(A__,B__),pp_line(H__,C__));
542 Q__:=pedalpoint(P__,pp_line(A__,B__));
661 con_:=is_concurrent(pp_line(A__,P__), pp_line(B__,Q__), pp_line(C__,R__));
716 P__:=pedalpoint(A__,pp_line(B__,C__));
722 Q__:=pedalpoint(B__,pp_line(A__,C__));
728 R__:=pedalpoint(C__,pp_line(A__,B__));
733 P_1_:=pedalpoint(P__,pp_line(A__,B__));
738 P_2_:=pedalpoint(P__,pp_line(A__,C__));
1037 con_:=is_concurrent(pp_line(A__,M__),pp_line(D__,N__),pp_line(X__,Y__));
1115 A__:=sym_point(B__,pp_line(O__,D__));
[all …]
/dports/devel/py-pycparser/pycparser-2.21/build/lib/pycparser/
H A Dc_lexer.py293 self.pp_line = self.pp_filename = None
305 if self.pp_line is None:
312 if self.pp_line is None:
313 self.pp_line = t.value
321 if self.pp_line is None:
324 self.lexer.lineno = int(self.pp_line)
/dports/devel/py-pycparser/pycparser-2.21/pycparser/
H A Dc_lexer.py293 self.pp_line = self.pp_filename = None
305 if self.pp_line is None:
312 if self.pp_line is None:
313 self.pp_line = t.value
321 if self.pp_line is None:
324 self.lexer.lineno = int(self.pp_line)
/dports/devel/py-pycparser/stage/usr/local/lib/python3.8/site-packages/pycparser/
H A Dc_lexer.py293 self.pp_line = self.pp_filename = None
305 if self.pp_line is None:
312 if self.pp_line is None:
313 self.pp_line = t.value
321 if self.pp_line is None:
324 self.lexer.lineno = int(self.pp_line)
/dports/multimedia/vlc/vlc-3.0.16/modules/text_renderer/freetype/
H A Dtext_layout.c1089 line_desc_t **pp_line, bool b_grid ) in LayoutLine() argument
1329 *pp_line = p_line; in LayoutLine()
1382 line_desc_t **pp_line = &p_first_line; in LayoutParagraph() local
1478 pp_line = &( *pp_line )->p_next; in LayoutParagraph()
1522 line_desc_t **pp_line = &p_first_line; in LayoutText() local
1588 for( ; *pp_line; pp_line = &(*pp_line)->p_next ) in LayoutText()
1595 line_desc_t *p_todelete = *pp_line; in LayoutText()
1602 *pp_line = NULL; in LayoutText()
1606 else if( (*pp_line)->i_height > i_max_face_height ) in LayoutText()
1608 i_max_face_height = (*pp_line)->i_height; in LayoutText()
[all …]
/dports/security/silktools/silk-3.19.1/src/rwresolve/
H A Drwresolve.c142 #define PRINT_PART_TEXT(pp_line, pp_idx, pp_text) \ argument
143 if ((0 == (pp_line)->part[(pp_idx)].columnar) \
147 ((pp_line)->part[(pp_idx)].delim ? delim_str : "")); \
154 ((pp_line)->part[(pp_idx)].delim ? delim_str : "")); \
157 #define PRINT_PART_DEFAULT(pp_line, pp_idx) \ argument
158 PRINT_PART_TEXT((pp_line), (pp_idx), \
159 &((pp_line)->buf[(pp_line)->part[(pp_idx)].offset]))
/dports/devel/p5-Term-Choose/Term-Choose-1.745/lib/Term/
H A DChoose.pm843 …my $pp_line = sprintf $self->{footer_fmt}, int( $self->{first_page_row} / $self->{avail_height} ) …
844 print $pp_line;
845 $self->{i_col} += print_columns( $pp_line );
/dports/devel/vera++/vera++-1.3.0/wiki/
H A DScriptAPI.md301 pp_line
/dports/editors/vim/vim-8.2.3745/src/
H A Dterminal.c3316 sb_line_T *pp_line; in handle_postponed_scrollback() local
3321 pp_line = (sb_line_T *)term->tl_scrollback_postponed.ga_data + i; in handle_postponed_scrollback()
3323 text = pp_line->sb_text; in handle_postponed_scrollback()
3327 vim_free(pp_line->sb_text); in handle_postponed_scrollback()
3331 line->sb_cols = pp_line->sb_cols; in handle_postponed_scrollback()
3332 line->sb_cells = pp_line->sb_cells; in handle_postponed_scrollback()
3333 line->sb_fill_attr = pp_line->sb_fill_attr; in handle_postponed_scrollback()
/dports/games/tads/tads-3.0.8/tads3/
H A Dtctok.h1239 void pp_line();
/dports/x11-toolkits/wxgtk28-contrib/wxGTK-2.8.12/src/tiff/
H A Dtif_getimage.c1614 u_char *pp_line; in putcontig8bitYCbCrGenericTile() local
1618 pp_line = pp + v_line_group * in putcontig8bitYCbCrGenericTile()
/dports/x11-toolkits/wxgtk28-contrib-common/wxGTK-2.8.12/src/tiff/
H A Dtif_getimage.c1614 u_char *pp_line; in putcontig8bitYCbCrGenericTile() local
1618 pp_line = pp + v_line_group * in putcontig8bitYCbCrGenericTile()
/dports/x11-toolkits/wxgtk28/wxGTK-2.8.12/src/tiff/
H A Dtif_getimage.c1614 u_char *pp_line; in putcontig8bitYCbCrGenericTile() local
1618 pp_line = pp + v_line_group * in putcontig8bitYCbCrGenericTile()
/dports/x11-toolkits/wxgtk28-common/wxGTK-2.8.12/src/tiff/
H A Dtif_getimage.c1614 u_char *pp_line; in putcontig8bitYCbCrGenericTile() local
1618 pp_line = pp + v_line_group * in putcontig8bitYCbCrGenericTile()
/dports/graphics/megapov/megapov-1.2.1/libraries/tiff/libtiff/
H A Dtif_getimage.c1613 u_char *pp_line; in putcontig8bitYCbCrGenericTile() local
1617 pp_line = pp + v_line_group * in putcontig8bitYCbCrGenericTile()
/dports/graphics/povray36/povray-3.6.1/libraries/tiff/libtiff/
H A Dtif_getimage.c1613 u_char *pp_line; in putcontig8bitYCbCrGenericTile() local
1617 pp_line = pp + v_line_group * in putcontig8bitYCbCrGenericTile()
/dports/print/pdflib-perl/PDFlib-Lite-7.0.5p3/libs/tiff/
H A Dtif_getimage.c1626 unsigned char *pp_line; in putcontig8bitYCbCrGenericTile() local
1630 pp_line = pp + v_line_group * in putcontig8bitYCbCrGenericTile()
/dports/print/pdflib/PDFlib-Lite-7.0.5p3/libs/tiff/
H A Dtif_getimage.c1626 unsigned char *pp_line; in putcontig8bitYCbCrGenericTile() local
1630 pp_line = pp + v_line_group * in putcontig8bitYCbCrGenericTile()

1234