Azogar

anche se ci metto 100 non cambia niente… ma il plus lo devo cambiare con + o scrivere proprio plus?

io ora ho scritto:

`\lstnewenvironment{xml}{
\small\baselineskip=\the\baselineskip plus 1pt\relax
\lstset{language=XML,
breaklines,
breakindent=0pt,
breakatwhitespace,
basicstyle=\ttfamily,
tagstyle=\bfseries,
identifierstyle=\ttfamily\itshape,
showstringspaces=false,
xleftmargin=25pt,
xrightmargin=5pt,
}
}{}`

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 😀

allora, il mio align che dovrei fare e’ lungo 5 pagine 🙂 se metto in un unico align, ovviamente, lo mette in una pagina sola e finische chissa dove 🙂

Faccio fatica a immaginare un align di cinque pagine.

Dalla documentazione di amsmath: metti \allowdisplaybreaks[1] nel preambolo del documento e usa \\* dove non vuoi che ci sia un cambio pagina. Naturalmente questa operazione andrà fatta a documento terminato.

Ciao
Enrico

PS: Ciò che scrivi nella signature è falso.

ok, questo mi fa la spezzettatura corretta dell’align, c’e’ anche un comando per fargli allineare il tutto correttamente (in verticale) sulla pagina? giusto per evitare gli undefull che urtano il sistema nervoso 😀

io ho svariati ambienti align* su piu pagine tutti uno dietro l’altro senza testo nel mezzo.

la mia domanda era come si faceva a fargli mettere gli spazi in modo da riempire la pagina in modo corretto senza avere i vari underfull che mi da per tutte quelle pagine, oppure se c’e’ un modo per fargli fare la spezzettatura in automatico dato che l’ho fatta manuale.

Non capisco che cosa sia la “spezzettatura”; conosco “spezzatino” e “spazzatura”, forse hai avuto qualche incidente in cucina? 😀

Scegliere dove andare a capo negli align è da fare a mano, senza dubbio. Puoi aggiungere fra un align* e l’altro un comando \vspace{\fill}:
`…
\end{align*}

\vspace{\fill}

\begin{align*}
…`
Le righe vuote sono importanti.

Ciao
Enrico

allora, il mio align che dovrei fare e’ lungo 5 pagine 🙂 se metto in un unico align, ovviamente, lo mette in una pagina sola e finische chissa dove 🙂

il mio problema e’ che ho fatto questa divisione sulle pagine “a mano” mettendo un end{align*} a circa la fine della pagina e un nuovo begin{align*}, ovviamente beccare la fine esatta e’ impossibile, la mia domanda era per sapere se c’e’ un modo per fare questa divisione automatica, o per cancellare quei underflow.

ho provato il comando che mi hai dato ma nessuna differenza ne grafica ne a livello di compilazione.

quando e’ questo GuIT?

Hai mai provato a dare un’occhiata alla home page “LaTeX for logicians”? Ti riporto di seguito il link

http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/

non so se troverai una risposta qui, perché non ho molto chiaro qual è il tuo problema. Però dal tuo post (e dalla tua firma) credo che valga sicuramente la pena di dare un’occhiata. Soprattutto la sezione

“Stuff particularly useful for logicians”

potrebbe esserti d’aiuto, se non proprio per risolvere il tuo problema, almeno per avere informazioni da persone che hanno a che fare con LaTeX nella tua stessa area di interesse.

Questo sito è una miniera di informazioni.

Da una breve ricerca su google (“semantica computazionale”) risulta quest’altro link

http://cesare.dsi.uniroma1.it/~semantic/libro.html.

Il terzo capitolo è scaricabile. Devi fare qualcosa di simile?

Facci sapere

Ciao

Daniele

perfetto, voglio fare esattamente la semantica come nel capitolo 3, se non fosse enormemente lunga farei come la tabella, ma sicuramente prendo piu di una pagina.

anche la grammatica e’ formattata bene.

adesso vado a vedere sull’altro sito che mi hai dato, grazie ancora >)

il fatto e’ che ho 3 o 4 tipi di tabella, ogni tipo di tabella avrebbe un suo opLine con numeri diversi di parametri, definendoli fuori avrei dovuto mettere nomi diversi, tipo rollfowardLine, rollbackLine eccetera o ridefinire tutte le volte lo stesso. in questo modo mi creo l’ambiente e uso direttamente il comando giusto, ogni tipo di tabella, ovviamente, l’ho descritto con un ambiente diverso

questa cosa mi serviva per non sta a fa sempre copia e incolla che ci perdo troppo tempo, e utilizzare il comando mi permette piu malleabilita, se vado a cambiare la formattazione del comando la cambio a tutte le righe ad esempio.

comunque con il doppio ## funziona, riconosce che sono parametri della newcommand ansiche della newenviroment.

grazie mille ^_^