robitex

strolego wrote:

Nel passaggio è possibile che alcuni post, in particolare quelli postati nel periodo attorno alla migrazione, si siano persi. L’alternativa era far ripartire il forum da zero

Ciao.
Alcuni post recenti si sono persi, è vero.
Ma non perché è stato fatto un errore, ma semplicemente perché la migrazione dei messaggi dell’intero forum, più di centomila messaggi, è stata fatta su un database a una certa data. I messaggi postati dopo quella data non sono rientrati nella migrazione.
I tecnici pensavano evidentemente che la migrazione sarebbe stata molto rapida. Invece è stata più complessa per effetto dei codici presenti nel testi dei messaggi.
Cambiando piattaforma è stato necessario convertire tutto.
Mi spiace per i messaggi persi.
Se avessimo una mano in merito magari li si potrebbe recuperare.
Alla prossima.
R.

linden-limmer” post=122470Ciao a tutti,

1) complimenti per la “guida al linguaggio lua per luatex”.
1a) Io la sto studiando, e ho la sensazione di imparare qualcosa che mi apre nuovi orizzonti.
2) Complimenti, ovviamente, all’autore.
3) La butto li’, “off topic”: Quando ci sara’ il guitexmeeting?

Saluti e buona domenica
Luciano

Ciao Luciano,
grazie mille per i compliementi.
Sono contento che la guida ti sia utile.
Sto pensando di rivoluzionarla per unire la prima parte con l’ultima e cercare di renderla più facile.
Quanto al meeting presto ci saranno notizie. Molto presto.
Saranno diffuse informazioni in merito sui soliti canali.

Grazie e a presto.
R.

linden-limmer” post=122444Ciao a tutti,

vado al dunque:
1) E’ possibile calcolare le aree e le lunghezze con TeX (per esempio con tikz o pstricks)?
2) C’e’ qualcuno che lavora a questo argomento (all’interno di TeX, intendo)?

Saluti e buone feste
Luciano

Ciao Luciano.
Secondo me dipende dal tipo di problema di calcolo che hai.
Voglio dire, che tipo di calcolo intendi?

In attesa di conoscere il contesto a cui si riferisce la domanda, posso sicuramente dire che essendo TeX perfettamente in grado di fare qualsiasi calcolo, nel senso di Turing, non è detto che sia fattibile nella pratica. Ciò che è teoricamente possibile non è detto che lo sia nella realtà.

Una volta scrissi un programma che risolveva schemi di Sudoku. E li risolveva in brevissimo tempo, qualche millisecondo.
Ho pensato che il mio programma fosse in grado di dare una risposta alla domanda “quante griglie di Sudoku esistono?”.
Lanciai quindi il programma sulla griglia vuota in attesa che fosse stampato il numero cercato.
La mattina dopo, con mia sorpresa, il programma stava ancora girando. Decisi di fare una stima rapida e conobbi il tempo che avrei dovuto attendere: circa diecimila anni 🙂 .

Certamente in fatto di calcoli, Lua è molto più efficiente di TeX, e con LuaLaTeX è possibile compilare documenti TeX che eseguono codice Lua.
Un esempio è “la calcolatrice”, un piccolo e interessante esempio di uso di Lua per il calcolo che trovi nella guida tematica a Lua, scaricabile dal sito GuIT.
Altro esempio di impiego di Lua è il pacchetto tkz-elements per il disegno geometrico.
Ricambio gli Auguri
Auguri a tutti di buone festività.
R.

Ma mi sembra sempre più un problema per Lua…
🙂
R.

vsara” post=122212Vorrei che lo spazio che c’è prima e dopo l’elemento align* fosse minore, precisamente vorrei che fosse lo stesso che c’è tra due righe successive di testo.
Invece attualmente prima della prima riga dell’equazione e dopo l’ultima riga dell’equazione c’è uno spazio maggiore.
Inoltre la prima riga dell’equazione non parte esattamente allineata a sinistra come le righe di testo ma leggermente più a destra.

Ciao.
Ci sono due registri di tipo “lunghezza”, che puoi impostare a zero. SI tratta di \abovedisplayskip e \belowdisplayskip.
Da usare con saggezza.
Alla prossima.
R.

vsara” post=122208Vorrei scrivere una catena di uguaglianze tra espressioni algebriche su più righe allineando il primo simbolo di = di ogni riga con il primo simbolo di = della riga precedente, inoltre vorrei utilizzare le formule in linea e non in display perchè vorrei mantenere l’interlinea “standard” (come nel caso delle formule in linea e non come nel caso delle formule in display) e avere l’allineamento a sinistra.

Faccio un esempio:

`x = 4 + 3*2 =
= 4 + 6 =
= 10
`

Come posso fare?

Ciao.
Userei un classico ambiente align del pacchetto amsmath.
L’allineamento lo decidi tu inserendo &.
Puoi leggerne la documentazione con il comando da terminale:`texdoc amsmath`
Ciao
Alla prossima
R.

linden-limmer” post=122187Ciao a tutti,

recentemente mi e’ capitato un problema
con un pacchetto che ne caricava un altro “a mia insaputa”.
(\usepackage{blablabla})

Domanda:
E’ possibile ottenere la lista dei pacchetti caricati con tutte le dipendenze indicate ?

Saluti
Luciano

Certo,
nel file di log ci sono tutti i pacchetti caricati, basta cercarli tra le altre informazioni.
R.

vsara” post=122137Ho risolto, utilizzando comunque il pacchetto bussproofs: anzichè utilizzare l’ambiente prooftree ho messo i comandi per generare i sequenti “sciolti” dentro la tabella e ho aggiunto alla fine di ognuno il comando \DisplayProof.
`
\begin{center}
\begin{tabular}{cccccc}
\hline
\multicolumn{2}{|c|}{
\AxiomC{}
\UnaryInfC{$\Gamma, \phi, \Gamma' \vdash \Delta, \phi, \Delta'$}
\DisplayProof
} & \multicolumn{2}{|c|}{
\AxiomC{}
\UnaryInfC{$\Gamma, \bot, \Gamma' \vdash \Delta$}
\DisplayProof
} & \multicolumn{2}{|c|}{
\AxiomC{}
\UnaryInfC{$\Gamma \vdash \Delta, \top, \Delta'$}
\DisplayProof
}\\
\hline
\multicolumn{3}{|c|}{
\AxiomC{$\Gamma, \phi, \psi \vdash \Delta$}
\UnaryInfC{$\Gamma, \phi \wedge \psi \vdash \Delta$}
\DisplayProof
} & \multicolumn{3}{|c|}{
\AxiomC{$\Gamma \vdash \phi, \Delta$}
\AxiomC{$\Gamma \vdash \psi, \Delta$}
\BinaryInfC{$\Gamma \vdash \phi \wedge \psi, \Delta$}
\DisplayProof
}\\
\hline
\multicolumn{3}{|c|}{
\AxiomC{$\Gamma, \phi \vdash \Delta$}
\AxiomC{$\Gamma, \psi \vdash \Delta$}
\BinaryInfC{$\Gamma, \phi \vee \psi \vdash \Delta$}
\DisplayProof
} & \multicolumn{3}{|c|}{
\AxiomC{$\Gamma \vdash \phi, \psi, \Delta$}
\UnaryInfC{$\Gamma \vdash \phi \vee \psi, \Delta$}
\DisplayProof
}\\
\hline
\multicolumn{3}{|c|}{
\AxiomC{$\Gamma \vdash \phi, \Delta$}
\AxiomC{$\Gamma, \psi \vdash \Delta$}
\BinaryInfC{$\Gamma, \phi \rightarrow \psi \vdash \Delta$}
\DisplayProof
} & \multicolumn{3}{|c|}{
\AxiomC{$\Gamma, \phi \vdash \psi, \Delta$}
\UnaryInfC{$\Gamma \vdash \phi \rightarrow \psi, \Delta$}
\DisplayProof
}\\
\hline
\multicolumn{3}{|c|}{
\AxiomC{$\Gamma \vdash \phi, \Delta$}
\UnaryInfC{$\Gamma, \neg \phi \vdash \Delta$}
\DisplayProof
} & \multicolumn{3}{|c|}{
\AxiomC{$\Gamma, \phi \vdash \Delta$}
\UnaryInfC{$\Gamma\vdash \neg \phi, \Delta$}
\DisplayProof
}\\
\hline
\multicolumn{3}{|c|}{
\AxiomC{$\Sigma, \Gamma, \Theta, \Gamma', \Sigma' \vdash \Delta$}
\UnaryInfC{$\Sigma, \Gamma', \Theta, \Gamma, \Sigma' \vdash \Delta$}
\DisplayProof
} & \multicolumn{3}{|c|}{
\AxiomC{$\Gamma \vdash \Sigma, \Delta, \Theta, \Delta', \Sigma'$}
\UnaryInfC{$\Gamma \vdash \Sigma, \Delta', \Theta, \Delta, \Sigma'$}
\DisplayProof
}\\
\hline
\end{tabular}
\end{center}
`
L’unica cosa che ora non mi torna è come mai ora la prima riga della tabella (che è composta da tre celle) ha la prima cella più larga delle altre due, nonostante nel codice siano tutte e tre multicolumn{2}…

[attachment=2740]tabella.pdf[/attachment]

Ciao.
L’ambiente tabular è progettato per lasciare un piccolo spazio a sinistra della prima cella e a destra dell’ultima, per ciascuna riga.
Nei descrittori di colonna esiste la possibilità di azzerare questo spazio.
Può darsi che sia questo che evita l’allineamento che lamenti.
Vedi anche messaggio precedente di OldClaudio.
R.