Next: Modi Up: Note generali Previous: Protocollo di costruzione Indice Indice analitico

##
Ridefinisci

Un oggetto puņ essere ridefinito usando il suo menu contestuale (2.1.1). Ciņ č molto utile per cambiamenti successivi della costruzione. Si puņ aprire anche la finestra di dialogo Ridefinisci con un doppio click su un oggetto dipendente.

Per posizionare un punto libero A su una retta h, scegliere Ridefinisci per il punto A e immettere `Punto[h]`. Per rimuovere il punto da questa retta e renderlo di nuovo libero, ridefinirlo con delle coordinate libere come `(3,2)`.

Un altro esempio č la conversione di una retta h per due punti A e B in un segmento: scegliere Ridefinisci e immettere `Segmento[A, B]`.

La ridefinizione di oggetti č uno strumento molto versatile per modificare la costruzione. Si puņ notare che ciņ puņ anche cambiare l'ordine dei passi della costruzione nel protocollo di costruzione (2.1.6).