ZijnConcurrent Commando

ZijnConcurrent( <Rechte>, <Rechte>, <Rechte> ): Onderzoekt of de rechten een gemeenschappelijk snijpunt hebben. Wanneer rechten evenwijdig lopen, worden ze verondersteld een punt gemeenschappelijk te hebben op oneindig en zal in dat geval het antwoord true zijn.

Normaal berekent dit commando het resultaat numeriek. Dit kan je veranderen met het commando Bewijs.

ZijnConcurrent(Rechte((1, 2), (3, 4)]) Rechte((1, 2), (3, 5)), Rechte((1, 2), (3, 6))) geeft true want de drie rechten gaan door het punt (1,2).