![]() |
![]() |
![]() |
Makrokonstrukcje |
Makrokonstrukcje są podobne do procedur, które otrzymują na wejściu figury i zwracają jedną lub wiele figur. Są zbudowane w opraciu o model zdefiniowany przez użytkownika. To znaczy, że użytkownik buduje ciąg konstrukcji tylko raz. Następnie poleca DR. GENIUS zapisanie tego ciągu konstrukcji w makrokonstrukcji. Aby je zapisać DR. GENIUS musi wiedzieć które kroki konstrukcji są pierwsze, a które ostatnie. Oczywiście końcowe kroki muszą zależeć tylko od początkowych. Inaczej Dr. Genius nie byłby w stanie wydedukować jak wykonać kolejne etapy konstrukcji na podstawie początkowych.
Używając wiedzy o początkowych i końcowych krokach, DR. GENIUS dedukuje ciąg konstrukcji i zapisuje go w makrokonstrukcji. Następnie użytkownik może wykonać makrokonstrukcję zaznaczając figury wejściowe, które muszą mieć te same typy co figury przy definiowaniu makrokonstrukcji. Nastepnie makrokonstrukcja może zbudować figury wyjściowe.
Aby zilustrować makrokonstrukcję użyjemy przykładu, w którym użytkownik chce zapisać kontrukcję okręgu o danym środku przechodzącym przez trzy dane punkty.
Przed stworzeniem makrokonstrukcji użytkownik musi skonstruować końcową figurę. Jest ona używana jako wzór, na podstawie którego będzie utworzona makrokonstrukcja.
![]() |
![]() |
![]() |
Makrokonstrukcje |