Re: Ambiente align*

tornando a noi, viene molto bene con quel comando, cosa fa di preciso?

comunque trattasi di una funzione definita per casi ed e’ molto lunga perche ad ogni caso devo dare una decina di righe di codice java 😀

Ho semplicemente detto di rendere “flessibile” l’interlinea, in modo che TeX possa allargare le spaziature fra una riga e l’altra. Puoi anche, per maggiore sicurezza, aggiungere
`\setlength{\lineskip}{1\lineskip plus .2\baselineskip}`
Non pensi che sarebbe meglio aggiungere alla lunga lista di casi anche qualche paragrafo per spiegare al lettore dove si trova?

Ciao
Enrico

PS Esistono sistemi formali che ammettono una prova di coerenza con metodi formalizzabili all’interno del sistema. Per esempio il calcolo proposizionale.

infatti nel calcolo proposizionale esistono formule per cui non è possibile stabilire meccanicamente se sono teoremi o no.

tornando alla funzione che devo scrivere ogni caso ha tutto spiegato nella definizione stessa della funzione tramite codice java, mi pare ripetitivo ripetere cose gia dette con altri termini, se vuoi e se hai tempo ti fo dare un’occhiata e mi sai dare maggiori consigli ad hoc.

comunque grazie ancora per il consiglio 😀 era 1 mese che tiravo testate per riuscire a farlo 😀