1\set ECHO none 2 set_sphere_output_precision 3----------------------------- 4 SET 8 5(1 row) 6 7-- ellipse tests 8--equal operator 9SELECT sellipse '<{0d,0d},(170d,-12d),0d>' = sellipse '<{0d,0d},(170d,-12d),0d>'; 10 ?column? 11---------- 12 t 13(1 row) 14 15SELECT sellipse '<{0d,0d},(170d,-12d),0d>' = sellipse '<{0d,0d},(170d,-12d),-2d>'; 16 ?column? 17---------- 18 t 19(1 row) 20 21SELECT sellipse '<{5d,5d},(170d,-12d),0d>' = sellipse '<{5d,5d},(170d,-12d),-2d>'; 22 ?column? 23---------- 24 t 25(1 row) 26 27SELECT sellipse '<{5d,2d},(170d,-12d),0d>' = sellipse '<{5d,2d},(170d,-12d),-2d>'; 28 ?column? 29---------- 30 f 31(1 row) 32 33-- not equal 34SELECT sellipse '<{5d,2d},(170d,-12d),0d>' != sellipse '<{5d,2d},(170d,-12d),-2d>'; 35 ?column? 36---------- 37 t 38(1 row) 39 40SELECT sellipse '<{5d,2d},(170d,-12d),0d>' != sellipse '<{5d,2d},(170d,-12d), 0d>'; 41 ?column? 42---------- 43 f 44(1 row) 45 46SELECT sellipse '<{10d, 5d},(300d,0d), 0d>' = sellipse '<{10d,5d},(300d,0d), 180d>' ; 47 ?column? 48---------- 49 t 50(1 row) 51 52SELECT sellipse '<{10d, 5d},(300d,0d), 90d>' = sellipse '<{10d,5d},(300d,0d), 270d>' ; 53 ?column? 54---------- 55 t 56(1 row) 57 58-- ellipse and point 59SELECT spoint '(280d,-20d)' @ sellipse '<{10d,5d},(280d,-20d),90d>'; 60 ?column? 61---------- 62 t 63(1 row) 64 65SELECT spoint '(280d,-10d)' @ sellipse '<{10d,5d},(280d,-20d),90d>'; 66 ?column? 67---------- 68 t 69(1 row) 70 71SELECT spoint '(280d,-9.9d)' @ sellipse '<{10d,5d},(280d,-20d),90d>'; 72 ?column? 73---------- 74 f 75(1 row) 76 77SELECT sellipse '<{10d,5d},(280d,-20d),90d>' ~ spoint '(280d,-10d)' ; 78 ?column? 79---------- 80 t 81(1 row) 82 83SELECT sellipse '<{10d,5d},(280d,-20d),90d>' ~ spoint '(280d, -9d)' ; 84 ?column? 85---------- 86 f 87(1 row) 88 89SELECT spoint '(280d,-10d)' !@ sellipse '<{10d,5d},(280d,-20d),90d>'; 90 ?column? 91---------- 92 f 93(1 row) 94 95SELECT spoint '(280d,-9.9d)' !@ sellipse '<{10d,5d},(280d,-20d),90d>'; 96 ?column? 97---------- 98 t 99(1 row) 100 101SELECT sellipse '<{10d,5d},(280d,-20d),90d>' !~ spoint '(280d,-10d)' ; 102 ?column? 103---------- 104 f 105(1 row) 106 107SELECT sellipse '<{10d,5d},(280d,-20d),90d>' !~ spoint '(280d, -9d)' ; 108 ?column? 109---------- 110 t 111(1 row) 112 113SELECT spoint '(0d, 90d)' @ sellipse '<{10d,5d},(0d,0d),0d>' ; 114 ?column? 115---------- 116 f 117(1 row) 118 119SELECT spoint '(0d, -90d)' @ sellipse '<{10d,5d},(0d,0d),0d>' ; 120 ?column? 121---------- 122 f 123(1 row) 124 125SELECT spoint '(0d, 0d)' @ sellipse '<{10d,5d},(0d,0d),0d>' ; 126 ?column? 127---------- 128 t 129(1 row) 130 131SELECT spoint '(90d, 0d)' @ sellipse '<{10d,5d},(0d,0d),0d>' ; 132 ?column? 133---------- 134 f 135(1 row) 136 137SELECT spoint '(180d, 0d)' @ sellipse '<{10d,5d},(0d,0d),0d>' ; 138 ?column? 139---------- 140 f 141(1 row) 142 143SELECT spoint '(270d, 0d)' @ sellipse '<{10d,5d},(0d,0d),0d>' ; 144 ?column? 145---------- 146 f 147(1 row) 148 149SELECT spoint '(9d, 0d)' @ sellipse '<{10d,5d},(0d,0d),0d>' ; 150 ?column? 151---------- 152 t 153(1 row) 154 155SELECT spoint '(0d, 9d)' @ sellipse '<{10d,5d},(0d,0d),0d>' ; 156 ?column? 157---------- 158 f 159(1 row) 160 161SELECT spoint '(0d, 4d)' @ sellipse '<{10d,5d},(0d,0d),0d>' ; 162 ?column? 163---------- 164 t 165(1 row) 166 167-- 168--ellipse and circle (@,&&) 169-- 170-- negators and commutators 171SELECT scircle '<(280d,-10d),0d>' @ sellipse '<{10d,5d},(280d,-20d),90d>'; 172 ?column? 173---------- 174 t 175(1 row) 176 177SELECT scircle '<(280d, -9d),0d>' @ sellipse '<{10d,5d},(280d,-20d),90d>'; 178 ?column? 179---------- 180 f 181(1 row) 182 183SELECT scircle '<(280d,-10d),0d>' !@ sellipse '<{10d,5d},(280d,-20d),90d>'; 184 ?column? 185---------- 186 f 187(1 row) 188 189SELECT scircle '<(280d, -9d),0d>' !@ sellipse '<{10d,5d},(280d,-20d),90d>'; 190 ?column? 191---------- 192 t 193(1 row) 194 195SELECT sellipse '<{10d,5d},(280d,-20d),90d>' ~ scircle '<(280d,-10d),0d>'; 196 ?column? 197---------- 198 t 199(1 row) 200 201SELECT sellipse '<{10d,5d},(280d,-20d),90d>' ~ scircle '<(280d, -9d),0d>'; 202 ?column? 203---------- 204 f 205(1 row) 206 207SELECT sellipse '<{10d,5d},(280d,-20d),90d>' !~ scircle '<(280d,-10d),0d>'; 208 ?column? 209---------- 210 f 211(1 row) 212 213SELECT sellipse '<{10d,5d},(280d,-20d),90d>' !~ scircle '<(280d, -9d),0d>'; 214 ?column? 215---------- 216 t 217(1 row) 218 219SELECT scircle '<(280d,-10d),2d>' && sellipse '<{10d,5d},(280d,-20d),90d>'; 220 ?column? 221---------- 222 t 223(1 row) 224 225SELECT scircle '<(280d, 0d),2d>' && sellipse '<{10d,5d},(280d,-20d),90d>'; 226 ?column? 227---------- 228 f 229(1 row) 230 231SELECT scircle '<(280d,-10d),2d>' !&& sellipse '<{10d,5d},(280d,-20d),90d>'; 232 ?column? 233---------- 234 f 235(1 row) 236 237SELECT scircle '<(280d, 0d),2d>' !&& sellipse '<{10d,5d},(280d,-20d),90d>'; 238 ?column? 239---------- 240 t 241(1 row) 242 243SELECT sellipse '<{10d,5d},(280d,-20d),90d>' && scircle '<(280d,-10d),2d>' ; 244 ?column? 245---------- 246 t 247(1 row) 248 249SELECT sellipse '<{10d,5d},(280d,-20d),90d>' && scircle '<(280d, 0d),2d>' ; 250 ?column? 251---------- 252 f 253(1 row) 254 255SELECT sellipse '<{10d,5d},(280d,-20d),90d>' !&& scircle '<(280d,-10d),2d>' ; 256 ?column? 257---------- 258 f 259(1 row) 260 261SELECT sellipse '<{10d,5d},(280d,-20d),90d>' !&& scircle '<(280d, 0d),2d>' ; 262 ?column? 263---------- 264 t 265(1 row) 266 267SELECT scircle '<(280d,-10d),0d>' && sellipse '<{10d,5d},(280d,-20d),90d>'; 268 ?column? 269---------- 270 t 271(1 row) 272 273 274-- ellipse is circle 275SELECT scircle '<(280d,-10d),2d>' @ sellipse '<{5d,5d},(280d,-20d),90d>'; 276 ?column? 277---------- 278 f 279(1 row) 280 281SELECT scircle '<(280d,-18d),2d>' @ sellipse '<{5d,5d},(280d,-20d),90d>'; 282 ?column? 283---------- 284 t 285(1 row) 286 287SELECT scircle '<(280d,-16d),2d>' @ sellipse '<{5d,5d},(280d,-20d),90d>'; 288 ?column? 289---------- 290 f 291(1 row) 292 293SELECT scircle '<(280d,-18d),15d>' @ sellipse '<{5d,5d},(280d,-20d),90d>'; 294 ?column? 295---------- 296 f 297(1 row) 298 299SELECT sellipse '<{5d,5d},(280d,-20d),90d>' @ scircle '<(280d,-10d),2d>' ; 300 ?column? 301---------- 302 f 303(1 row) 304 305SELECT sellipse '<{5d,5d},(280d,-20d),90d>' @ scircle '<(280d,-18d),2d>' ; 306 ?column? 307---------- 308 f 309(1 row) 310 311SELECT sellipse '<{5d,5d},(280d,-20d),90d>' @ scircle '<(280d,-16d),2d>' ; 312 ?column? 313---------- 314 f 315(1 row) 316 317SELECT sellipse '<{5d,5d},(280d,-20d),90d>' @ scircle '<(280d,-18d),15d>' ; 318 ?column? 319---------- 320 t 321(1 row) 322 323SELECT scircle '<(280d,-10d),2d>' && sellipse '<{5d,5d},(280d,-20d),90d>'; 324 ?column? 325---------- 326 f 327(1 row) 328 329SELECT scircle '<(280d,-18d),2d>' && sellipse '<{5d,5d},(280d,-20d),90d>'; 330 ?column? 331---------- 332 t 333(1 row) 334 335SELECT scircle '<(280d,-16d),2d>' && sellipse '<{5d,5d},(280d,-20d),90d>'; 336 ?column? 337---------- 338 t 339(1 row) 340 341-- ellipse is line 342SELECT scircle '<(280d,-10d),0d>' @ sellipse '<{5d,0d},(280d,-20d),90d>'; 343 ?column? 344---------- 345 f 346(1 row) 347 348SELECT scircle '<(280d,-18d),0d>' @ sellipse '<{5d,0d},(280d,-20d),90d>'; 349 ?column? 350---------- 351 t 352(1 row) 353 354SELECT scircle '<(280d,-16d),0d>' @ sellipse '<{5d,0d},(280d,-20d),90d>'; 355 ?column? 356---------- 357 t 358(1 row) 359 360SELECT scircle '<(280d,-18d),15d>' @ sellipse '<{5d,0d},(280d,-20d),90d>'; 361 ?column? 362---------- 363 f 364(1 row) 365 366SELECT scircle '<(280d,-10d),0d>' && sellipse '<{5d,0d},(280d,-20d),90d>'; 367 ?column? 368---------- 369 f 370(1 row) 371 372SELECT scircle '<(280d,-18d),0d>' && sellipse '<{5d,0d},(280d,-20d),90d>'; 373 ?column? 374---------- 375 t 376(1 row) 377 378SELECT scircle '<(280d,-10d),2d>' @ sellipse '<{5d,0d},(280d,-20d),90d>'; 379 ?column? 380---------- 381 f 382(1 row) 383 384SELECT scircle '<(280d,-18d),2d>' @ sellipse '<{5d,0d},(280d,-20d),90d>'; 385 ?column? 386---------- 387 f 388(1 row) 389 390SELECT scircle '<(280d,-16d),2d>' @ sellipse '<{5d,0d},(280d,-20d),90d>'; 391 ?column? 392---------- 393 f 394(1 row) 395 396SELECT scircle '<(280d,-10d),2d>' && sellipse '<{5d,0d},(280d,-20d),90d>'; 397 ?column? 398---------- 399 f 400(1 row) 401 402SELECT scircle '<(280d,-18d),2d>' && sellipse '<{5d,0d},(280d,-20d),90d>'; 403 ?column? 404---------- 405 t 406(1 row) 407 408SELECT sellipse '<{5d,0d},(280d,-20d),90d>' @ scircle '<(280d,-18d),15d>' ; 409 ?column? 410---------- 411 t 412(1 row) 413 414-- 415--ellipse and line (@,&&) 416-- 417-- negators and commutators 418SELECT sline ( spoint '(280d, -9d)', spoint '(280d, -8d)' ) @ sellipse '<{10d,5d},(280d,-20d),90d>'; 419 ?column? 420---------- 421 f 422(1 row) 423 424SELECT sline ( spoint '(280d, -9d)', spoint '(280d,-12d)' ) @ sellipse '<{10d,5d},(280d,-20d),90d>'; 425 ?column? 426---------- 427 f 428(1 row) 429 430SELECT sline ( spoint '(280d,-11d)', spoint '(280d,-12d)' ) @ sellipse '<{10d,5d},(280d,-20d),90d>'; 431 ?column? 432---------- 433 t 434(1 row) 435 436SELECT sline ( spoint '(280d, -9d)', spoint '(280d, -8d)' ) && sellipse '<{10d,5d},(280d,-20d),90d>'; 437 ?column? 438---------- 439 f 440(1 row) 441 442SELECT sline ( spoint '(280d, -9d)', spoint '(280d,-12d)' ) && sellipse '<{10d,5d},(280d,-20d),90d>'; 443 ?column? 444---------- 445 t 446(1 row) 447 448SELECT sline ( spoint '(280d,-11d)', spoint '(280d,-12d)' ) && sellipse '<{10d,5d},(280d,-20d),90d>'; 449 ?column? 450---------- 451 t 452(1 row) 453 454SELECT sline ( spoint '(280d, -9d)', spoint '(280d, -8d)' ) !@ sellipse '<{10d,5d},(280d,-20d),90d>'; 455 ?column? 456---------- 457 t 458(1 row) 459 460SELECT sline ( spoint '(280d, -9d)', spoint '(280d,-12d)' ) !@ sellipse '<{10d,5d},(280d,-20d),90d>'; 461 ?column? 462---------- 463 t 464(1 row) 465 466SELECT sline ( spoint '(280d,-11d)', spoint '(280d,-12d)' ) !@ sellipse '<{10d,5d},(280d,-20d),90d>'; 467 ?column? 468---------- 469 f 470(1 row) 471 472SELECT sline ( spoint '(280d, -9d)', spoint '(280d, -8d)' ) !&& sellipse '<{10d,5d},(280d,-20d),90d>'; 473 ?column? 474---------- 475 t 476(1 row) 477 478SELECT sline ( spoint '(280d, -9d)', spoint '(280d,-12d)' ) !&& sellipse '<{10d,5d},(280d,-20d),90d>'; 479 ?column? 480---------- 481 f 482(1 row) 483 484SELECT sline ( spoint '(280d,-11d)', spoint '(280d,-12d)' ) !&& sellipse '<{10d,5d},(280d,-20d),90d>'; 485 ?column? 486---------- 487 f 488(1 row) 489 490SELECT sellipse '<{10d,5d},(280d,-20d),90d>' ~ sline ( spoint '(280d, -9d)', spoint '(280d, -8d)' ); 491 ?column? 492---------- 493 f 494(1 row) 495 496SELECT sellipse '<{10d,5d},(280d,-20d),90d>' ~ sline ( spoint '(280d, -9d)', spoint '(280d,-12d)' ); 497 ?column? 498---------- 499 f 500(1 row) 501 502SELECT sellipse '<{10d,5d},(280d,-20d),90d>' ~ sline ( spoint '(280d,-11d)', spoint '(280d,-12d)' ); 503 ?column? 504---------- 505 t 506(1 row) 507 508SELECT sellipse '<{10d,5d},(280d,-20d),90d>' && sline ( spoint '(280d, -9d)', spoint '(280d, -8d)' ); 509 ?column? 510---------- 511 f 512(1 row) 513 514SELECT sellipse '<{10d,5d},(280d,-20d),90d>' && sline ( spoint '(280d, -9d)', spoint '(280d,-12d)' ); 515 ?column? 516---------- 517 t 518(1 row) 519 520SELECT sellipse '<{10d,5d},(280d,-20d),90d>' && sline ( spoint '(280d,-11d)', spoint '(280d,-12d)' ); 521 ?column? 522---------- 523 t 524(1 row) 525 526SELECT sellipse '<{10d,5d},(280d,-20d),90d>' !~ sline ( spoint '(280d, -9d)', spoint '(280d, -8d)' ); 527 ?column? 528---------- 529 t 530(1 row) 531 532SELECT sellipse '<{10d,5d},(280d,-20d),90d>' !~ sline ( spoint '(280d, -9d)', spoint '(280d,-12d)' ); 533 ?column? 534---------- 535 t 536(1 row) 537 538SELECT sellipse '<{10d,5d},(280d,-20d),90d>' !~ sline ( spoint '(280d,-11d)', spoint '(280d,-12d)' ); 539 ?column? 540---------- 541 f 542(1 row) 543 544SELECT sellipse '<{10d,5d},(280d,-20d),90d>' !&& sline ( spoint '(280d, -9d)', spoint '(280d, -8d)' ); 545 ?column? 546---------- 547 t 548(1 row) 549 550SELECT sellipse '<{10d,5d},(280d,-20d),90d>' !&& sline ( spoint '(280d, -9d)', spoint '(280d,-12d)' ); 551 ?column? 552---------- 553 f 554(1 row) 555 556SELECT sellipse '<{10d,5d},(280d,-20d),90d>' !&& sline ( spoint '(280d,-11d)', spoint '(280d,-12d)' ); 557 ?column? 558---------- 559 f 560(1 row) 561 562-- line is point , ellipse is point 563SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -8d)' ) @ sellipse '<{0d,0d},(280d,-20d),90d>'; 564 ?column? 565---------- 566 f 567(1 row) 568 569SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -8d)' ) @ sellipse '<{0d,0d},(280d, -8d),90d>'; 570 ?column? 571---------- 572 t 573(1 row) 574 575SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -8d)' ) && sellipse '<{0d,0d},(280d,-20d),90d>'; 576 ?column? 577---------- 578 f 579(1 row) 580 581SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -8d)' ) && sellipse '<{0d,0d},(280d, -8d),90d>'; 582 ?column? 583---------- 584 t 585(1 row) 586 587-- line is point , ellipse is circle 588SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -8d)' ) @ sellipse '<{5d,5d},(280d,-20d),90d>'; 589 ?column? 590---------- 591 f 592(1 row) 593 594SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -8d)' ) @ sellipse '<{5d,5d},(280d, -8d),90d>'; 595 ?column? 596---------- 597 t 598(1 row) 599 600SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -8d)' ) && sellipse '<{5d,5d},(280d,-20d),90d>'; 601 ?column? 602---------- 603 f 604(1 row) 605 606SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -8d)' ) && sellipse '<{5d,5d},(280d, -8d),90d>'; 607 ?column? 608---------- 609 t 610(1 row) 611 612-- line is point , ellipse is a real ellipse 613SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -8d)' ) @ sellipse '<{10d,5d},(280d,-20d),90d>'; 614 ?column? 615---------- 616 f 617(1 row) 618 619SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -8d)' ) @ sellipse '<{10d,5d},(280d, -8d),90d>'; 620 ?column? 621---------- 622 t 623(1 row) 624 625SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -8d)' ) && sellipse '<{10d,5d},(280d,-20d),90d>'; 626 ?column? 627---------- 628 f 629(1 row) 630 631SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -8d)' ) && sellipse '<{10d,5d},(280d, -8d),90d>'; 632 ?column? 633---------- 634 t 635(1 row) 636 637-- line is a real line , ellipse is point 638SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) @ sellipse '<{0d,0d},(280d,-20d),90d>'; 639 ?column? 640---------- 641 f 642(1 row) 643 644SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) @ sellipse '<{0d,0d},(280d, -8d),90d>'; 645 ?column? 646---------- 647 f 648(1 row) 649 650SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) && sellipse '<{0d,0d},(280d,-20d),90d>'; 651 ?column? 652---------- 653 f 654(1 row) 655 656SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) && sellipse '<{0d,0d},(280d, -8d),90d>'; 657 ?column? 658---------- 659 t 660(1 row) 661 662-- line is a real line , ellipse is circle 663SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) @ sellipse '<{5d,5d},(280d,-20d),90d>'; 664 ?column? 665---------- 666 f 667(1 row) 668 669SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) @ sellipse '<{5d,5d},(280d, -8d),90d>'; 670 ?column? 671---------- 672 t 673(1 row) 674 675SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) && sellipse '<{5d,5d},(280d,-20d),90d>'; 676 ?column? 677---------- 678 f 679(1 row) 680 681SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) && sellipse '<{5d,5d},(280d, -8d),90d>'; 682 ?column? 683---------- 684 t 685(1 row) 686 687-- line is a real line , ellipse is line 688SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) @ sellipse '<{5d,0d},(280d,-20d),90d>'; 689 ?column? 690---------- 691 f 692(1 row) 693 694SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) @ sellipse '<{5d,0d},(280d, -8d),90d>'; 695 ?column? 696---------- 697 t 698(1 row) 699 700SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) && sellipse '<{5d,0d},(280d,-20d),90d>'; 701 ?column? 702---------- 703 f 704(1 row) 705 706SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) && sellipse '<{5d,0d},(280d, -8d),90d>'; 707 ?column? 708---------- 709 t 710(1 row) 711 712-- line is a real line , ellipse is a real ellipse 713SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) @ sellipse '<{10d,5d},(280d,-20d),90d>'; 714 ?column? 715---------- 716 f 717(1 row) 718 719SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) @ sellipse '<{10d,5d},(280d, -8d),90d>'; 720 ?column? 721---------- 722 t 723(1 row) 724 725SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) && sellipse '<{10d,5d},(280d,-20d),90d>'; 726 ?column? 727---------- 728 f 729(1 row) 730 731SELECT sline ( spoint '(280d, -8d)', spoint '(280d, -9d)' ) && sellipse '<{10d,5d},(280d, -8d),90d>'; 732 ?column? 733---------- 734 t 735(1 row) 736 737-- 738-- ellipse and ellipse 739-- 740 741-- check @ 742SELECT sellipse '<{10d, 5d},(300d,0d), 0d>' @ sellipse '<{10d,5d},(300d,0d),0d>'; 743 ?column? 744---------- 745 t 746(1 row) 747 748SELECT sellipse '<{10d, 5d},(300d,0d), 90d>' @ sellipse '<{10d,5d},(300d,0d),0d>'; 749 ?column? 750---------- 751 f 752(1 row) 753 754SELECT sellipse '<{10d, 5d},(300d,0d),180d>' @ sellipse '<{10d,5d},(300d,0d),0d>'; 755 ?column? 756---------- 757 t 758(1 row) 759 760SELECT sellipse '<{10d, 5d},(300d,0d),270d>' @ sellipse '<{10d,5d},(300d,0d),0d>'; 761 ?column? 762---------- 763 f 764(1 row) 765 766SELECT sellipse '<{ 2d, 1d},( 52d,6d), 0d>' @ sellipse '<{10d,5d},(50d,5d),45d>'; 767 ?column? 768---------- 769 t 770(1 row) 771 772-- negators , commutator @,&& 773SELECT sellipse '<{ 2d, 1d},( 52d,6d), 0d>' @ sellipse '<{10d,5d},(50d,5d),45d>'; 774 ?column? 775---------- 776 t 777(1 row) 778 779SELECT sellipse '<{10d, 5d},( 52d,6d), 0d>' @ sellipse '<{10d,5d},(50d,5d),45d>'; 780 ?column? 781---------- 782 f 783(1 row) 784 785SELECT sellipse '<{10d, 5d},( 90d,9d), 0d>' @ sellipse '<{10d,5d},(50d,5d),45d>'; 786 ?column? 787---------- 788 f 789(1 row) 790 791SELECT sellipse '<{ 2d, 1d},( 52d,6d), 0d>' && sellipse '<{10d,5d},(50d,5d),45d>'; 792 ?column? 793---------- 794 t 795(1 row) 796 797SELECT sellipse '<{10d, 5d},( 52d,6d), 0d>' && sellipse '<{10d,5d},(50d,5d),45d>'; 798 ?column? 799---------- 800 t 801(1 row) 802 803SELECT sellipse '<{10d, 5d},( 90d,9d), 0d>' && sellipse '<{10d,5d},(50d,5d),45d>'; 804 ?column? 805---------- 806 f 807(1 row) 808 809SELECT sellipse '<{ 2d, 1d},( 52d,6d), 0d>' !@ sellipse '<{10d,5d},(50d,5d),45d>'; 810 ?column? 811---------- 812 f 813(1 row) 814 815SELECT sellipse '<{10d, 5d},( 52d,6d), 0d>' !@ sellipse '<{10d,5d},(50d,5d),45d>'; 816 ?column? 817---------- 818 t 819(1 row) 820 821SELECT sellipse '<{10d, 5d},( 90d,9d), 0d>' !@ sellipse '<{10d,5d},(50d,5d),45d>'; 822 ?column? 823---------- 824 t 825(1 row) 826 827SELECT sellipse '<{ 2d, 1d},( 52d,6d), 0d>' !&& sellipse '<{10d,5d},(50d,5d),45d>'; 828 ?column? 829---------- 830 f 831(1 row) 832 833SELECT sellipse '<{10d, 5d},( 52d,6d), 0d>' !&& sellipse '<{10d,5d},(50d,5d),45d>'; 834 ?column? 835---------- 836 f 837(1 row) 838 839SELECT sellipse '<{10d, 5d},( 90d,9d), 0d>' !&& sellipse '<{10d,5d},(50d,5d),45d>'; 840 ?column? 841---------- 842 t 843(1 row) 844 845SELECT sellipse '<{10d,5d},(50d,5d),45d>' ~ sellipse '<{ 2d, 1d},( 52d,6d), 0d>'; 846 ?column? 847---------- 848 t 849(1 row) 850 851SELECT sellipse '<{10d,5d},(50d,5d),45d>' ~ sellipse '<{10d, 5d},( 52d,6d), 0d>'; 852 ?column? 853---------- 854 f 855(1 row) 856 857SELECT sellipse '<{10d,5d},(50d,5d),45d>' ~ sellipse '<{10d, 5d},( 90d,9d), 0d>'; 858 ?column? 859---------- 860 f 861(1 row) 862 863SELECT sellipse '<{10d,5d},(50d,5d),45d>' && sellipse '<{ 2d, 1d},( 52d,6d), 0d>'; 864 ?column? 865---------- 866 t 867(1 row) 868 869SELECT sellipse '<{10d,5d},(50d,5d),45d>' && sellipse '<{10d, 5d},( 52d,6d), 0d>'; 870 ?column? 871---------- 872 t 873(1 row) 874 875SELECT sellipse '<{10d,5d},(50d,5d),45d>' && sellipse '<{10d, 5d},( 90d,9d), 0d>'; 876 ?column? 877---------- 878 f 879(1 row) 880 881SELECT sellipse '<{10d,5d},(50d,5d),45d>' !~ sellipse '<{ 2d, 1d},( 52d,6d), 0d>'; 882 ?column? 883---------- 884 f 885(1 row) 886 887SELECT sellipse '<{10d,5d},(50d,5d),45d>' !~ sellipse '<{10d, 5d},( 52d,6d), 0d>'; 888 ?column? 889---------- 890 t 891(1 row) 892 893SELECT sellipse '<{10d,5d},(50d,5d),45d>' !~ sellipse '<{10d, 5d},( 90d,9d), 0d>'; 894 ?column? 895---------- 896 t 897(1 row) 898 899SELECT sellipse '<{10d,5d},(50d,5d),45d>' !&& sellipse '<{ 2d, 1d},( 52d,6d), 0d>'; 900 ?column? 901---------- 902 f 903(1 row) 904 905SELECT sellipse '<{10d,5d},(50d,5d),45d>' !&& sellipse '<{10d, 5d},( 52d,6d), 0d>'; 906 ?column? 907---------- 908 f 909(1 row) 910 911SELECT sellipse '<{10d,5d},(50d,5d),45d>' !&& sellipse '<{10d, 5d},( 90d,9d), 0d>'; 912 ?column? 913---------- 914 t 915(1 row) 916 917-- left ellipse is point right ellipse is point 918SELECT sellipse '<{ 0d, 0d},( 50d,-5d), 0d>' @ sellipse '<{0d,0d},(50d,-5d),45d>'; 919 ?column? 920---------- 921 t 922(1 row) 923 924SELECT sellipse '<{ 0d, 0d},( 50d,-6d), 0d>' @ sellipse '<{0d,0d},(50d,-5d),45d>'; 925 ?column? 926---------- 927 f 928(1 row) 929 930SELECT sellipse '<{ 0d, 0d},( 50d,-5d), 0d>' && sellipse '<{0d,0d},(50d,-5d),45d>'; 931 ?column? 932---------- 933 t 934(1 row) 935 936SELECT sellipse '<{ 0d, 0d},( 50d,-6d), 0d>' && sellipse '<{0d,0d},(50d,-5d),45d>'; 937 ?column? 938---------- 939 f 940(1 row) 941 942-- left ellipse is line right ellipse is point 943SELECT sellipse '<{ 5d, 0d},( 50d, -2d), 90d>' @ sellipse '<{0d,0d},(50d,-5d),0d>'; 944 ?column? 945---------- 946 f 947(1 row) 948 949SELECT sellipse '<{ 5d, 0d},( 50d,-12d), 90d>' @ sellipse '<{0d,0d},(50d,-5d),0d>'; 950 ?column? 951---------- 952 f 953(1 row) 954 955SELECT sellipse '<{ 5d, 0d},( 50d, -2d), 90d>' && sellipse '<{0d,0d},(50d,-5d),0d>'; 956 ?column? 957---------- 958 t 959(1 row) 960 961SELECT sellipse '<{ 5d, 0d},( 50d,-12d), 90d>' && sellipse '<{0d,0d},(50d,-5d),0d>'; 962 ?column? 963---------- 964 f 965(1 row) 966 967-- left ellipse is circle right ellipse is point 968SELECT sellipse '<{ 5d, 5d},( 50d, -2d), 90d>' @ sellipse '<{0d,0d},(50d,-5d),0d>'; 969 ?column? 970---------- 971 f 972(1 row) 973 974SELECT sellipse '<{ 5d, 5d},( 50d,-12d), 90d>' @ sellipse '<{0d,0d},(50d,-5d),0d>'; 975 ?column? 976---------- 977 f 978(1 row) 979 980SELECT sellipse '<{ 5d, 5d},( 50d, -2d), 90d>' && sellipse '<{0d,0d},(50d,-5d),0d>'; 981 ?column? 982---------- 983 t 984(1 row) 985 986SELECT sellipse '<{ 5d, 5d},( 50d,-12d), 90d>' && sellipse '<{0d,0d},(50d,-5d),0d>'; 987 ?column? 988---------- 989 f 990(1 row) 991 992-- left ellipse is real ellipse right ellipse is point 993SELECT sellipse '<{ 5d, 3d},( 50d, -2d), 90d>' @ sellipse '<{0d,0d},(50d,-5d),0d>'; 994 ?column? 995---------- 996 f 997(1 row) 998 999SELECT sellipse '<{ 5d, 3d},( 50d,-12d), 90d>' @ sellipse '<{0d,0d},(50d,-5d),0d>'; 1000 ?column? 1001---------- 1002 f 1003(1 row) 1004 1005SELECT sellipse '<{ 5d, 3d},( 50d, -2d), 90d>' && sellipse '<{0d,0d},(50d,-5d),0d>'; 1006 ?column? 1007---------- 1008 t 1009(1 row) 1010 1011SELECT sellipse '<{ 5d, 3d},( 50d,-12d), 90d>' && sellipse '<{0d,0d},(50d,-5d),0d>'; 1012 ?column? 1013---------- 1014 f 1015(1 row) 1016 1017-- left ellipse is point right ellipse is line 1018SELECT sellipse '<{ 0d, 0d},( 50d,-5d), 0d>' @ sellipse '<{5d,0d},(50d,-5d),90d>'; 1019 ?column? 1020---------- 1021 t 1022(1 row) 1023 1024SELECT sellipse '<{ 0d, 0d},( 50d,-6d), 0d>' @ sellipse '<{5d,0d},(50d,-5d),90d>'; 1025 ?column? 1026---------- 1027 t 1028(1 row) 1029 1030SELECT sellipse '<{ 0d, 0d},( 50d, 6d), 0d>' @ sellipse '<{5d,0d},(50d,-5d),90d>'; 1031 ?column? 1032---------- 1033 f 1034(1 row) 1035 1036SELECT sellipse '<{ 0d, 0d},( 50d,-5d), 0d>' && sellipse '<{5d,0d},(50d,-5d),90d>'; 1037 ?column? 1038---------- 1039 t 1040(1 row) 1041 1042SELECT sellipse '<{ 0d, 0d},( 50d,-6d), 0d>' && sellipse '<{5d,0d},(50d,-5d),90d>'; 1043 ?column? 1044---------- 1045 t 1046(1 row) 1047 1048SELECT sellipse '<{ 0d, 0d},( 50d, 6d), 0d>' && sellipse '<{5d,0d},(50d,-5d),90d>'; 1049 ?column? 1050---------- 1051 f 1052(1 row) 1053 1054-- left ellipse is line right ellipse is line 1055SELECT sellipse '<{ 3d, 0d},( 50d,-5d), 90d>' @ sellipse '<{5d,0d},(50d,-5d),90d>'; 1056 ?column? 1057---------- 1058 t 1059(1 row) 1060 1061SELECT sellipse '<{ 3d, 0d},( 50d,-8d), 90d>' @ sellipse '<{5d,0d},(50d,-5d),90d>'; 1062 ?column? 1063---------- 1064 f 1065(1 row) 1066 1067SELECT sellipse '<{ 3d, 0d},( 50d,-6d), 0d>' @ sellipse '<{5d,0d},(50d,-5d),90d>'; 1068 ?column? 1069---------- 1070 f 1071(1 row) 1072 1073SELECT sellipse '<{ 3d, 0d},( 50d, 6d), 90d>' @ sellipse '<{5d,0d},(50d,-5d),90d>'; 1074 ?column? 1075---------- 1076 f 1077(1 row) 1078 1079SELECT sellipse '<{ 3d, 0d},( 50d,-5d), 90d>' && sellipse '<{5d,0d},(50d,-5d),90d>'; 1080 ?column? 1081---------- 1082 t 1083(1 row) 1084 1085SELECT sellipse '<{ 3d, 0d},( 50d,-8d), 90d>' && sellipse '<{5d,0d},(50d,-5d),90d>'; 1086 ?column? 1087---------- 1088 t 1089(1 row) 1090 1091SELECT sellipse '<{ 3d, 0d},( 50d,-6d), 0d>' && sellipse '<{5d,0d},(50d,-5d),90d>'; 1092 ?column? 1093---------- 1094 t 1095(1 row) 1096 1097SELECT sellipse '<{ 3d, 0d},( 50d, 6d), 90d>' && sellipse '<{5d,0d},(50d,-5d),90d>'; 1098 ?column? 1099---------- 1100 f 1101(1 row) 1102 1103-- left ellipse is circle right ellipse is line 1104SELECT sellipse '<{ 3d, 3d},( 50d,-5d), 90d>' @ sellipse '<{5d,0d},(50d,-5d),90d>'; 1105 ?column? 1106---------- 1107 f 1108(1 row) 1109 1110SELECT sellipse '<{ 3d, 3d},( 50d,-8d), 90d>' @ sellipse '<{5d,0d},(50d,-5d),90d>'; 1111 ?column? 1112---------- 1113 f 1114(1 row) 1115 1116SELECT sellipse '<{ 3d, 3d},( 50d,-6d), 0d>' @ sellipse '<{5d,0d},(50d,-5d),90d>'; 1117 ?column? 1118---------- 1119 f 1120(1 row) 1121 1122SELECT sellipse '<{ 3d, 3d},( 50d, 6d), 90d>' @ sellipse '<{5d,0d},(50d,-5d),90d>'; 1123 ?column? 1124---------- 1125 f 1126(1 row) 1127 1128SELECT sellipse '<{ 3d, 3d},( 50d,-5d), 90d>' && sellipse '<{5d,0d},(50d,-5d),90d>'; 1129 ?column? 1130---------- 1131 t 1132(1 row) 1133 1134SELECT sellipse '<{ 3d, 3d},( 50d,-8d), 90d>' && sellipse '<{5d,0d},(50d,-5d),90d>'; 1135 ?column? 1136---------- 1137 t 1138(1 row) 1139 1140SELECT sellipse '<{ 3d, 3d},( 50d,-6d), 0d>' && sellipse '<{5d,0d},(50d,-5d),90d>'; 1141 ?column? 1142---------- 1143 t 1144(1 row) 1145 1146SELECT sellipse '<{ 3d, 3d},( 50d, 6d), 90d>' && sellipse '<{5d,0d},(50d,-5d),90d>'; 1147 ?column? 1148---------- 1149 f 1150(1 row) 1151 1152-- left ellipse is point right ellipse is circle 1153SELECT sellipse '<{ 0d, 0d},( 50d,-5d), 0d>' @ sellipse '<{5d,5d},(50d,-5d),90d>'; 1154 ?column? 1155---------- 1156 t 1157(1 row) 1158 1159SELECT sellipse '<{ 0d, 0d},( 50d,-6d), 0d>' @ sellipse '<{5d,5d},(50d,-5d),90d>'; 1160 ?column? 1161---------- 1162 t 1163(1 row) 1164 1165SELECT sellipse '<{ 0d, 0d},( 50d, 6d), 0d>' @ sellipse '<{5d,5d},(50d,-5d),90d>'; 1166 ?column? 1167---------- 1168 f 1169(1 row) 1170 1171SELECT sellipse '<{ 0d, 0d},( 50d,-5d), 0d>' && sellipse '<{5d,5d},(50d,-5d),90d>'; 1172 ?column? 1173---------- 1174 t 1175(1 row) 1176 1177SELECT sellipse '<{ 0d, 0d},( 50d,-6d), 0d>' && sellipse '<{5d,5d},(50d,-5d),90d>'; 1178 ?column? 1179---------- 1180 t 1181(1 row) 1182 1183SELECT sellipse '<{ 0d, 0d},( 50d, 6d), 0d>' && sellipse '<{5d,5d},(50d,-5d),90d>'; 1184 ?column? 1185---------- 1186 f 1187(1 row) 1188 1189-- left ellipse is line right ellipse is circle 1190SELECT sellipse '<{ 5d, 0d},( 50d,-5d), 90d>' @ sellipse '<{5d,5d},(50d,-5d),90d>'; 1191 ?column? 1192---------- 1193 t 1194(1 row) 1195 1196SELECT sellipse '<{ 5d, 0d},( 50d,-6d), 90d>' @ sellipse '<{5d,5d},(50d,-5d),90d>'; 1197 ?column? 1198---------- 1199 f 1200(1 row) 1201 1202SELECT sellipse '<{ 5d, 0d},( 50d, 6d), 90d>' @ sellipse '<{5d,5d},(50d,-5d),90d>'; 1203 ?column? 1204---------- 1205 f 1206(1 row) 1207 1208SELECT sellipse '<{ 5d, 0d},( 50d,-5d), 90d>' && sellipse '<{5d,5d},(50d,-5d),90d>'; 1209 ?column? 1210---------- 1211 t 1212(1 row) 1213 1214SELECT sellipse '<{ 5d, 0d},( 50d,-6d), 90d>' && sellipse '<{5d,5d},(50d,-5d),90d>'; 1215 ?column? 1216---------- 1217 t 1218(1 row) 1219 1220SELECT sellipse '<{ 5d, 0d},( 50d, 6d), 90d>' && sellipse '<{5d,5d},(50d,-5d),90d>'; 1221 ?column? 1222---------- 1223 f 1224(1 row) 1225 1226-- left ellipse is circle right ellipse is circle 1227SELECT sellipse '<{ 3d, 3d},( 50d,-4d), 90d>' @ sellipse '<{5d,5d},(50d,-5d),90d>'; 1228 ?column? 1229---------- 1230 t 1231(1 row) 1232 1233SELECT sellipse '<{ 5d, 5d},( 50d,-5d), 90d>' @ sellipse '<{5d,5d},(50d,-5d),90d>'; 1234 ?column? 1235---------- 1236 t 1237(1 row) 1238 1239SELECT sellipse '<{ 5d, 5d},( 50d,-6d), 90d>' @ sellipse '<{5d,5d},(50d,-5d),90d>'; 1240 ?column? 1241---------- 1242 f 1243(1 row) 1244 1245SELECT sellipse '<{ 5d, 5d},( 50d, 6d), 90d>' @ sellipse '<{5d,5d},(50d,-5d),90d>'; 1246 ?column? 1247---------- 1248 f 1249(1 row) 1250 1251SELECT sellipse '<{ 3d, 3d},( 50d,-4d), 90d>' && sellipse '<{5d,5d},(50d,-5d),90d>'; 1252 ?column? 1253---------- 1254 t 1255(1 row) 1256 1257SELECT sellipse '<{ 5d, 5d},( 50d,-5d), 90d>' && sellipse '<{5d,5d},(50d,-5d),90d>'; 1258 ?column? 1259---------- 1260 t 1261(1 row) 1262 1263SELECT sellipse '<{ 5d, 5d},( 50d,-6d), 90d>' && sellipse '<{5d,5d},(50d,-5d),90d>'; 1264 ?column? 1265---------- 1266 t 1267(1 row) 1268 1269SELECT sellipse '<{ 5d, 5d},( 50d, 6d), 90d>' && sellipse '<{5d,5d},(50d,-5d),90d>'; 1270 ?column? 1271---------- 1272 f 1273(1 row) 1274 1275