On screen math fonts
Hi. I recently upgraded my LyX install to 2.1.2.1 on Mac OS X Mavericks, and I noticed that the on-screen character for \otimes is now rendered incorrectly as an A with umlaut, although the PDF output is correct. I haven't noticed this with any other symbols so far. Is this a bug, or some configuration issue? Thanks. -- Ernesto Posse Zeligsoft.com
On screen math fonts
Hi. I recently upgraded my LyX install to 2.1.2.1 on Mac OS X Mavericks, and I noticed that the on-screen character for \otimes is now rendered incorrectly as an A with umlaut, although the PDF output is correct. I haven't noticed this with any other symbols so far. Is this a bug, or some configuration issue? Thanks. -- Ernesto Posse Zeligsoft.com
On screen math fonts
Hi. I recently upgraded my LyX install to 2.1.2.1 on Mac OS X Mavericks, and I noticed that the on-screen character for \otimes is now rendered incorrectly as an A with umlaut, although the PDF output is correct. I haven't noticed this with any other symbols so far. Is this a bug, or some configuration issue? Thanks. -- Ernesto Posse Zeligsoft.com
Re: Custom layout file: in preamble styles with custom latex commands
I figured out the problem: on the Mac LyX stores the UserDir under ~/Library/Application Support/LyX-version. I still had version 2.0 and was editing my layout file in that folder, rather than the one in the 2.1 folder. I now works as expected. Thanks again. On Fri, Nov 14, 2014 at 3:46 AM, Jürgen Spitzmüller sp...@lyx.org wrote: Jürgen Spitzmüller wrote: Is it possible that LyX caches layout files somewhere and it's not picking up a new version (I'm on OS X Mavericks with LyX 2.1.2.1 for what it's worth). No. You are sure that you do not have a copy of the layout file which is used by LyX? Also assure that your document does not have a local layout that overwrites the layout definition. Jürgen -- Ernesto Posse Zeligsoft.com
CopyStyle in layout files
When defining a style, is it possible to copy more than one style? If so, are values overridden? This seems like it would be a good feature, when you want to create a style that combines the features of two existing styles. -- Ernesto Posse Zeligsoft.com
Re: Custom layout file: in preamble styles with custom latex commands
I figured out the problem: on the Mac LyX stores the UserDir under ~/Library/Application Support/LyX-version. I still had version 2.0 and was editing my layout file in that folder, rather than the one in the 2.1 folder. I now works as expected. Thanks again. On Fri, Nov 14, 2014 at 3:46 AM, Jürgen Spitzmüller sp...@lyx.org wrote: Jürgen Spitzmüller wrote: Is it possible that LyX caches layout files somewhere and it's not picking up a new version (I'm on OS X Mavericks with LyX 2.1.2.1 for what it's worth). No. You are sure that you do not have a copy of the layout file which is used by LyX? Also assure that your document does not have a local layout that overwrites the layout definition. Jürgen -- Ernesto Posse Zeligsoft.com
CopyStyle in layout files
When defining a style, is it possible to copy more than one style? If so, are values overridden? This seems like it would be a good feature, when you want to create a style that combines the features of two existing styles. -- Ernesto Posse Zeligsoft.com
Re: Custom layout file: in preamble styles with custom latex commands
I figured out the problem: on the Mac LyX stores the UserDir under ~/Library/Application Support/LyX-. I still had version 2.0 and was editing my layout file in that folder, rather than the one in the 2.1 folder. I now works as expected. Thanks again. On Fri, Nov 14, 2014 at 3:46 AM, Jürgen Spitzmüller <sp...@lyx.org> wrote: > Jürgen Spitzmüller wrote: > > > Is it possible that LyX caches layout files somewhere and it's not > picking > > > up a new version (I'm on OS X Mavericks with LyX 2.1.2.1 for what it's > > > worth). > > > > No. You are sure that you do not have a copy of the layout file which is > > used by LyX? > > Also assure that your document does not have a local layout that overwrites > the layout definition. > > Jürgen > -- Ernesto Posse Zeligsoft.com
CopyStyle in layout files
When defining a style, is it possible to copy more than one style? If so, are values overridden? This seems like it would be a good feature, when you want to create a style that combines the features of two existing styles. -- Ernesto Posse Zeligsoft.com
Re: Custom layout file: in preamble styles with custom latex commands
Thanks. That is what I want to achieve and your example does accomplish
this, but I don't understand why using the first form of Argument
declaration in the layout file, without 'post:', the second argument to the
command is always the text from the work area, this is,
\command{arg1}{work area text}{arg2}{arg3} ...
I understand that's what 'post:' does, but without it, I obtain the same
result. What if I want to generate the following?
\command{arg1}{arg2}{arg3}{work area text}
In my particular case, it seems to me that there is no particularly good
reason why the category field should be treated differently than the
others (CR code, sub-category, subject).
Also, why doesn't the Mandatory 0 flag work? I would expect it to produce
an argument enclosed in [...], not in {...}.
Thanks
PS: The style I want to use is ACM small journals (
http://www.acm.org/publications/submissions/latex_style). I'm not sure if
it's the same as the one for SIG proceedings, but I'm guessing there will
be some differences.
On Thu, Nov 13, 2014 at 4:01 AM, Jürgen Spitzmüller sp...@lyx.org wrote:
2014-11-12 21:14 GMT+01:00 Ernesto Posse:
Thanks. That's quite nice, but it doesn't work quite as expected.
I tried the two forms, arguments with and without 'post:' and I get the
same result: the second argument of the command is the body (the text
that follows all arguments) and Mandatory 0 seems to be ignored (the
generated argument is enclosed in {...} rather than [...]). For example, if
in the LyX work area I write the following (with text enclosed in ...
representing the style name and ...[ ... ] representing an argument inset)
Category CR number[D.2.4.1] Category[Software Engineering]
Sub-category[Software/Program Verification] Subject [Formal methods]
Some other text
Then the resulting code is
\category{D.2.4.1}{Some other text}{Software
Engineering}{Software/Program Verification}{Formal methods}
So it looks like all arguments after the first are treated as if they
where tagged with 'post:' and the optional flag seems to be ignored.
Is this a bug or am I missing something?
Maybe I misunderstand you, but don't you want to achieve this output:
\category{CR-Number}{Category}{Sub-Category}[Subject Descriptor]
Whereas the second mandatory argument (Category) is what is inserted in
the main text?
(I figured that you want to use this style:
http://www.acm.org/sigs/publications/sigguide-v2.2sp)
The attached document shows this (the definition is in Document Local
Layout).
Jürgen
--
Ernesto Posse
Zeligsoft.com
Re: Custom layout file: in preamble styles with custom latex commands
Thanks. Comments inline below.
On Thu, Nov 13, 2014 at 9:57 AM, Jürgen Spitzmüller sp...@lyx.org wrote:
2014-11-13 15:38 GMT+01:00 Ernesto Posse:
Thanks. That is what I want to achieve and your example does accomplish
this, but I don't understand why using the first form of Argument
declaration in the layout file, without 'post:', the second argument to the
command is always the text from the work area, this is,
\command{arg1}{work area text}{arg2}{arg3} ...
I understand that's what 'post:' does, but without it, I obtain the same
result. What if I want to generate the following?
\command{arg1}{arg2}{arg3}{work area text}
If you do not use post:, you need to stick with the pre numbering, that is
Argument 1
Mandatory 1
LabelString CR number
EndArgument
Argument 2
Mandatory 1
LabelString Sub-Category
EndArgument
Argument 3
LabelString Subject Descriptor
EndArgument
That's exactly what I tried but got exactly the same result as using
'post:'. I think that for some reason, when I reconfigure and restart, LyX
is not catching the changes in the layout file. I've tried running it from
the command-line with different debug options, but I don't see anything
about it, other than a comment saying that it's loading layout files, but
not mention of whether it was successful or not.
Is it possible that LyX caches layout files somewhere and it's not picking
up a new version (I'm on OS X Mavericks with LyX 2.1.2.1 for what it's
worth).
In my particular case, it seems to me that there is no particularly good
reason why the category field should be treated differently than the
others (CR code, sub-category, subject).
Maybe you are looking for a flex inset rather than a style?
I've read a bit about those, but I don't think so. I just need a plain
command, and the documentation explicitly says that the output should be
such that the work area text is the last argument to the command.
Also, why doesn't the Mandatory 0 flag work? I would expect it to
produce an argument enclosed in [...], not in {...}.
Works for me. Although it is superfluous (Mandatory is false by default).
In your example it seems to work. I've no idea why it's not working for my
other test files. The only difference seems to be that I'm not using a
local layout.
Jürgen
Thanks
PS: The style I want to use is ACM small journals (
http://www.acm.org/publications/submissions/latex_style). I'm not sure
if it's the same as the one for SIG proceedings, but I'm guessing there
will be some differences.
--
Ernesto Posse
Zeligsoft.com
Re: Custom layout file: in preamble styles with custom latex commands
Thanks. That is what I want to achieve and your example does accomplish
this, but I don't understand why using the first form of Argument
declaration in the layout file, without 'post:', the second argument to the
command is always the text from the work area, this is,
\command{arg1}{work area text}{arg2}{arg3} ...
I understand that's what 'post:' does, but without it, I obtain the same
result. What if I want to generate the following?
\command{arg1}{arg2}{arg3}{work area text}
In my particular case, it seems to me that there is no particularly good
reason why the category field should be treated differently than the
others (CR code, sub-category, subject).
Also, why doesn't the Mandatory 0 flag work? I would expect it to produce
an argument enclosed in [...], not in {...}.
Thanks
PS: The style I want to use is ACM small journals (
http://www.acm.org/publications/submissions/latex_style). I'm not sure if
it's the same as the one for SIG proceedings, but I'm guessing there will
be some differences.
On Thu, Nov 13, 2014 at 4:01 AM, Jürgen Spitzmüller sp...@lyx.org wrote:
2014-11-12 21:14 GMT+01:00 Ernesto Posse:
Thanks. That's quite nice, but it doesn't work quite as expected.
I tried the two forms, arguments with and without 'post:' and I get the
same result: the second argument of the command is the body (the text
that follows all arguments) and Mandatory 0 seems to be ignored (the
generated argument is enclosed in {...} rather than [...]). For example, if
in the LyX work area I write the following (with text enclosed in ...
representing the style name and ...[ ... ] representing an argument inset)
Category CR number[D.2.4.1] Category[Software Engineering]
Sub-category[Software/Program Verification] Subject [Formal methods]
Some other text
Then the resulting code is
\category{D.2.4.1}{Some other text}{Software
Engineering}{Software/Program Verification}{Formal methods}
So it looks like all arguments after the first are treated as if they
where tagged with 'post:' and the optional flag seems to be ignored.
Is this a bug or am I missing something?
Maybe I misunderstand you, but don't you want to achieve this output:
\category{CR-Number}{Category}{Sub-Category}[Subject Descriptor]
Whereas the second mandatory argument (Category) is what is inserted in
the main text?
(I figured that you want to use this style:
http://www.acm.org/sigs/publications/sigguide-v2.2sp)
The attached document shows this (the definition is in Document Local
Layout).
Jürgen
--
Ernesto Posse
Zeligsoft.com
Re: Custom layout file: in preamble styles with custom latex commands
Thanks. Comments inline below.
On Thu, Nov 13, 2014 at 9:57 AM, Jürgen Spitzmüller sp...@lyx.org wrote:
2014-11-13 15:38 GMT+01:00 Ernesto Posse:
Thanks. That is what I want to achieve and your example does accomplish
this, but I don't understand why using the first form of Argument
declaration in the layout file, without 'post:', the second argument to the
command is always the text from the work area, this is,
\command{arg1}{work area text}{arg2}{arg3} ...
I understand that's what 'post:' does, but without it, I obtain the same
result. What if I want to generate the following?
\command{arg1}{arg2}{arg3}{work area text}
If you do not use post:, you need to stick with the pre numbering, that is
Argument 1
Mandatory 1
LabelString CR number
EndArgument
Argument 2
Mandatory 1
LabelString Sub-Category
EndArgument
Argument 3
LabelString Subject Descriptor
EndArgument
That's exactly what I tried but got exactly the same result as using
'post:'. I think that for some reason, when I reconfigure and restart, LyX
is not catching the changes in the layout file. I've tried running it from
the command-line with different debug options, but I don't see anything
about it, other than a comment saying that it's loading layout files, but
not mention of whether it was successful or not.
Is it possible that LyX caches layout files somewhere and it's not picking
up a new version (I'm on OS X Mavericks with LyX 2.1.2.1 for what it's
worth).
In my particular case, it seems to me that there is no particularly good
reason why the category field should be treated differently than the
others (CR code, sub-category, subject).
Maybe you are looking for a flex inset rather than a style?
I've read a bit about those, but I don't think so. I just need a plain
command, and the documentation explicitly says that the output should be
such that the work area text is the last argument to the command.
Also, why doesn't the Mandatory 0 flag work? I would expect it to
produce an argument enclosed in [...], not in {...}.
Works for me. Although it is superfluous (Mandatory is false by default).
In your example it seems to work. I've no idea why it's not working for my
other test files. The only difference seems to be that I'm not using a
local layout.
Jürgen
Thanks
PS: The style I want to use is ACM small journals (
http://www.acm.org/publications/submissions/latex_style). I'm not sure
if it's the same as the one for SIG proceedings, but I'm guessing there
will be some differences.
--
Ernesto Posse
Zeligsoft.com
Re: Custom layout file: in preamble styles with custom latex commands
Thanks. That is what I want to achieve and your example does accomplish
this, but I don't understand why using the first form of "Argument"
declaration in the layout file, without 'post:', the second argument to the
command is always the text from the work area, this is,
\command{arg1}{work area text}{arg2}{arg3} ...
I understand that's what 'post:' does, but without it, I obtain the same
result. What if I want to generate the following?
\command{arg1}{arg2}{arg3}{work area text}
In my particular case, it seems to me that there is no particularly good
reason why the "category" field should be treated differently than the
others (CR code, sub-category, subject).
Also, why doesn't the "Mandatory 0" flag work? I would expect it to produce
an argument enclosed in [...], not in {...}.
Thanks
PS: The style I want to use is ACM small journals (
http://www.acm.org/publications/submissions/latex_style). I'm not sure if
it's the same as the one for SIG proceedings, but I'm guessing there will
be some differences.
On Thu, Nov 13, 2014 at 4:01 AM, Jürgen Spitzmüller <sp...@lyx.org> wrote:
> 2014-11-12 21:14 GMT+01:00 Ernesto Posse:
>
>> Thanks. That's quite nice, but it doesn't work quite as expected.
>>
>> I tried the two forms, arguments with and without 'post:' and I get the
>> same result: the second argument of the command is the "body" (the text
>> that follows all arguments) and "Mandatory 0" seems to be ignored (the
>> generated argument is enclosed in {...} rather than [...]). For example, if
>> in the LyX work area I write the following (with text enclosed in <...>
>> representing the style name and <...>[ ... ] representing an argument inset)
>>
>> [D.2.4.1] [Software Engineering]
>> [Software/Program Verification] [Formal methods]
>> Some other text
>>
>> Then the resulting code is
>>
>> \category{D.2.4.1}{Some other text}{Software
>> Engineering}{Software/Program Verification}{Formal methods}
>>
>> So it looks like all arguments after the first are treated as if they
>> where tagged with 'post:' and the optional flag seems to be ignored.
>>
>> Is this a bug or am I missing something?
>>
>
> Maybe I misunderstand you, but don't you want to achieve this output:
>
> \category{CR-Number}{Category}{Sub-Category}[Subject Descriptor]
>
>
> Whereas the second mandatory argument ("Category") is what is inserted in
> the main text?
>
> (I figured that you want to use this style:
>
> http://www.acm.org/sigs/publications/sigguide-v2.2sp)
>
>
> The attached document shows this (the definition is in Document > Local
> Layout).
>
>
> Jürgen
>
>
--
Ernesto Posse
Zeligsoft.com
Re: Custom layout file: in preamble styles with custom latex commands
Thanks. Comments inline below.
On Thu, Nov 13, 2014 at 9:57 AM, Jürgen Spitzmüller <sp...@lyx.org> wrote:
> 2014-11-13 15:38 GMT+01:00 Ernesto Posse:
>
>> Thanks. That is what I want to achieve and your example does accomplish
>> this, but I don't understand why using the first form of "Argument"
>> declaration in the layout file, without 'post:', the second argument to the
>> command is always the text from the work area, this is,
>>
>> \command{arg1}{work area text}{arg2}{arg3} ...
>>
>> I understand that's what 'post:' does, but without it, I obtain the same
>> result. What if I want to generate the following?
>>
>> \command{arg1}{arg2}{arg3}{work area text}
>>
>
> If you do not use post:, you need to stick with the pre numbering, that is
>
> Argument 1
>
>Mandatory 1
>
>LabelString "CR number"
>
> EndArgument
>
>Argument 2
>
>Mandatory 1
>
>LabelString "Sub-Category"
>
> EndArgument
>
> Argument 3
>
>LabelString "Subject Descriptor"
>
> EndArgument
>
>
>
That's exactly what I tried but got exactly the same result as using
'post:'. I think that for some reason, when I reconfigure and restart, LyX
is not catching the changes in the layout file. I've tried running it from
the command-line with different debug options, but I don't see anything
about it, other than a comment saying that it's loading layout files, but
not mention of whether it was successful or not.
Is it possible that LyX caches layout files somewhere and it's not picking
up a new version (I'm on OS X Mavericks with LyX 2.1.2.1 for what it's
worth).
> In my particular case, it seems to me that there is no particularly good
>> reason why the "category" field should be treated differently than the
>> others (CR code, sub-category, subject).
>>
>
> Maybe you are looking for a flex inset rather than a style?
>
>
I've read a bit about those, but I don't think so. I just need a plain
command, and the documentation explicitly says that the output should be
such that the work area text is the last argument to the command.
>
>> Also, why doesn't the "Mandatory 0" flag work? I would expect it to
>> produce an argument enclosed in [...], not in {...}.
>>
>
>
> Works for me. Although it is superfluous (Mandatory is false by default).
>
>
In your example it seems to work. I've no idea why it's not working for my
other test files. The only difference seems to be that I'm not using a
local layout.
> Jürgen
>
>
>>
>> Thanks
>>
>> PS: The style I want to use is ACM small journals (
>> http://www.acm.org/publications/submissions/latex_style). I'm not sure
>> if it's the same as the one for SIG proceedings, but I'm guessing there
>> will be some differences.
>>
>
>
--
Ernesto Posse
Zeligsoft.com
Custom layout file: in preamble styles with custom latex commands
Hi. I'm trying to define my own layout file and I ran into this situation:
I need a style whose latex command must go into the preamble (as required
by the underlying latex class), but I need to define my own command for the
style because the one provided by the base class doesn't work well with the
way styles work in the LyX UI.
The problem is that styles which have been declared as InPreamble 1 get
their code generated before the user preamble which defines the required
latex command, and therefore, when compiling, LaTeX will stop with an error
saying that the control sequence is not defined (because it is defined
later). The style in question is the following:
Style Category
InPreamble 1
LabelType Static
LabelString Category
LatexType Command
LatexName ACMCCScategory
RequiredArgs 3
Margin Dynamic
Labelsep xx
LabelFont
Family Sans
Series Bold
Shape Slanted
Size Normal
Color Blue
EndFont
Preamble
\newcommand{\ACMCCScategory}[4]{\category{#1}{#2}{#3}[4]}
EndPreamble
End
So as you see, the style uses the custom-defined command \ACMCCScategory,
but the generated code is this:
\makeatletter
%% LyX specific LaTeX commands.
\ACMCCScategory{D.2.4}{Software Engineering}{Software/Program
Verification}{Formal methods}
%% Textclass specific LaTeX commands.
\newcommand{\ACMCCScategory}[4]{\category{#1}{#2}{#3}[4]}
%% User specified LaTeX commands.
\usepackage{aadl}
\makeatother
So the problem is evident: the command is defined after it is being used.
Is there a way to tell LyX to produce the preamble commands before the in
preamble styles?
--
Ernesto Posse
Zeligsoft.com
Re: Custom layout file: in preamble styles with custom latex commands
Thanks. That's quite nice, but it doesn't work quite as expected.
I tried the two forms, arguments with and without 'post:' and I get the
same result: the second argument of the command is the body (the text
that follows all arguments) and Mandatory 0 seems to be ignored (the
generated argument is enclosed in {...} rather than [...]). For example, if
in the LyX work area I write the following (with text enclosed in ...
representing the style name and ...[ ... ] representing an argument inset)
Category CR number[D.2.4.1] Category[Software Engineering]
Sub-category[Software/Program Verification] Subject [Formal methods]
Some other text
Then the resulting code is
\category{D.2.4.1}{Some other text}{Software Engineering}{Software/Program
Verification}{Formal methods}
So it looks like all arguments after the first are treated as if they where
tagged with 'post:' and the optional flag seems to be ignored.
Is this a bug or am I missing something?
On Wed, Nov 12, 2014 at 2:08 PM, Jürgen Spitzmüller sp...@lyx.org wrote:
2014-11-12 20:01 GMT+01:00 Jürgen Spitzmüller:
However, if you use LyX 2.1, you do not need an own command, since the
command in question is possible with the help of the new argument syntax:
Style Category
InPreamble1
LabelTypeStatic
LabelStringCategory
LatexTypeCommand
LatexNamecategory
Argument 1
Mandatory 1
LabelStringCR number
EndArgument
Argument 2
Mandatory 1
LabelStringCategory
EndArgument
Argument 3
Mandatory 1
LabelStringSub-Category
EndArgument
Argument 4
LabelStringSubject Descriptor
EndArgument
MarginDynamic
Labelsepxx
LabelFont
FamilySans
SeriesBold
ShapeSlanted
SizeNormal
ColorBlue
EndFont
End
Sorry, this should be:
Style Category
InPreamble1
LabelTypeStatic
LabelStringCategory
LatexTypeCommand
LatexNamecategory
Argument 1
Mandatory 1
LabelStringCR number
EndArgument
Argument post:1
Mandatory 1
LabelStringSub-Category
EndArgument
Argument post:2
LabelStringSubject Descriptor
EndArgument
MarginDynamic
Labelsepxx
LabelFont
FamilySans
SeriesBold
ShapeSlanted
SizeNormal
ColorBlue
EndFont
End
Jürgen
--
Ernesto Posse
Zeligsoft.com
Custom layout file: in preamble styles with custom latex commands
Hi. I'm trying to define my own layout file and I ran into this situation:
I need a style whose latex command must go into the preamble (as required
by the underlying latex class), but I need to define my own command for the
style because the one provided by the base class doesn't work well with the
way styles work in the LyX UI.
The problem is that styles which have been declared as InPreamble 1 get
their code generated before the user preamble which defines the required
latex command, and therefore, when compiling, LaTeX will stop with an error
saying that the control sequence is not defined (because it is defined
later). The style in question is the following:
Style Category
InPreamble 1
LabelType Static
LabelString Category
LatexType Command
LatexName ACMCCScategory
RequiredArgs 3
Margin Dynamic
Labelsep xx
LabelFont
Family Sans
Series Bold
Shape Slanted
Size Normal
Color Blue
EndFont
Preamble
\newcommand{\ACMCCScategory}[4]{\category{#1}{#2}{#3}[4]}
EndPreamble
End
So as you see, the style uses the custom-defined command \ACMCCScategory,
but the generated code is this:
\makeatletter
%% LyX specific LaTeX commands.
\ACMCCScategory{D.2.4}{Software Engineering}{Software/Program
Verification}{Formal methods}
%% Textclass specific LaTeX commands.
\newcommand{\ACMCCScategory}[4]{\category{#1}{#2}{#3}[4]}
%% User specified LaTeX commands.
\usepackage{aadl}
\makeatother
So the problem is evident: the command is defined after it is being used.
Is there a way to tell LyX to produce the preamble commands before the in
preamble styles?
--
Ernesto Posse
Zeligsoft.com
Re: Custom layout file: in preamble styles with custom latex commands
Thanks. That's quite nice, but it doesn't work quite as expected.
I tried the two forms, arguments with and without 'post:' and I get the
same result: the second argument of the command is the body (the text
that follows all arguments) and Mandatory 0 seems to be ignored (the
generated argument is enclosed in {...} rather than [...]). For example, if
in the LyX work area I write the following (with text enclosed in ...
representing the style name and ...[ ... ] representing an argument inset)
Category CR number[D.2.4.1] Category[Software Engineering]
Sub-category[Software/Program Verification] Subject [Formal methods]
Some other text
Then the resulting code is
\category{D.2.4.1}{Some other text}{Software Engineering}{Software/Program
Verification}{Formal methods}
So it looks like all arguments after the first are treated as if they where
tagged with 'post:' and the optional flag seems to be ignored.
Is this a bug or am I missing something?
On Wed, Nov 12, 2014 at 2:08 PM, Jürgen Spitzmüller sp...@lyx.org wrote:
2014-11-12 20:01 GMT+01:00 Jürgen Spitzmüller:
However, if you use LyX 2.1, you do not need an own command, since the
command in question is possible with the help of the new argument syntax:
Style Category
InPreamble1
LabelTypeStatic
LabelStringCategory
LatexTypeCommand
LatexNamecategory
Argument 1
Mandatory 1
LabelStringCR number
EndArgument
Argument 2
Mandatory 1
LabelStringCategory
EndArgument
Argument 3
Mandatory 1
LabelStringSub-Category
EndArgument
Argument 4
LabelStringSubject Descriptor
EndArgument
MarginDynamic
Labelsepxx
LabelFont
FamilySans
SeriesBold
ShapeSlanted
SizeNormal
ColorBlue
EndFont
End
Sorry, this should be:
Style Category
InPreamble1
LabelTypeStatic
LabelStringCategory
LatexTypeCommand
LatexNamecategory
Argument 1
Mandatory 1
LabelStringCR number
EndArgument
Argument post:1
Mandatory 1
LabelStringSub-Category
EndArgument
Argument post:2
LabelStringSubject Descriptor
EndArgument
MarginDynamic
Labelsepxx
LabelFont
FamilySans
SeriesBold
ShapeSlanted
SizeNormal
ColorBlue
EndFont
End
Jürgen
--
Ernesto Posse
Zeligsoft.com
Custom layout file: in preamble styles with custom latex commands
Hi. I'm trying to define my own layout file and I ran into this situation:
I need a style whose latex command must go into the preamble (as required
by the underlying latex class), but I need to define my own command for the
style because the one provided by the base class doesn't work well with the
way styles work in the LyX UI.
The problem is that styles which have been declared as "InPreamble 1" get
their code generated before the user preamble which defines the required
latex command, and therefore, when compiling, LaTeX will stop with an error
saying that the control sequence is not defined (because it is defined
later). The style in question is the following:
Style Category
InPreamble 1
LabelType Static
LabelString "Category"
LatexType Command
LatexName ACMCCScategory
RequiredArgs 3
Margin Dynamic
Labelsep xx
LabelFont
Family Sans
Series Bold
Shape Slanted
Size Normal
Color Blue
EndFont
Preamble
\newcommand{\ACMCCScategory}[4]{\category{#1}{#2}{#3}[4]}
EndPreamble
End
So as you see, the style uses the custom-defined command \ACMCCScategory,
but the generated code is this:
\makeatletter
%% LyX specific LaTeX commands.
\ACMCCScategory{D.2.4}{Software Engineering}{Software/Program
Verification}{Formal methods}
%% Textclass specific LaTeX commands.
\newcommand{\ACMCCScategory}[4]{\category{#1}{#2}{#3}[4]}
%% User specified LaTeX commands.
\usepackage{aadl}
\makeatother
So the problem is evident: the command is defined after it is being used.
Is there a way to tell LyX to produce the preamble commands before the "in
preamble" styles?
--
Ernesto Posse
Zeligsoft.com
Re: Custom layout file: in preamble styles with custom latex commands
Thanks. That's quite nice, but it doesn't work quite as expected.
I tried the two forms, arguments with and without 'post:' and I get the
same result: the second argument of the command is the "body" (the text
that follows all arguments) and "Mandatory 0" seems to be ignored (the
generated argument is enclosed in {...} rather than [...]). For example, if
in the LyX work area I write the following (with text enclosed in <...>
representing the style name and <...>[ ... ] representing an argument inset)
[D.2.4.1] [Software Engineering]
[Software/Program Verification] [Formal methods]
Some other text
Then the resulting code is
\category{D.2.4.1}{Some other text}{Software Engineering}{Software/Program
Verification}{Formal methods}
So it looks like all arguments after the first are treated as if they where
tagged with 'post:' and the optional flag seems to be ignored.
Is this a bug or am I missing something?
On Wed, Nov 12, 2014 at 2:08 PM, Jürgen Spitzmüller <sp...@lyx.org> wrote:
> 2014-11-12 20:01 GMT+01:00 Jürgen Spitzmüller:
>
>
>> However, if you use LyX 2.1, you do not need an own command, since the
>> command in question is possible with the help of the new argument syntax:
>>
>> Style Category
>> InPreamble1
>> LabelTypeStatic
>> LabelString"Category"
>> LatexTypeCommand
>> LatexNamecategory
>> Argument 1
>> Mandatory 1
>> LabelString"CR number"
>> EndArgument
>> Argument 2
>> Mandatory 1
>> LabelString"Category"
>> EndArgument
>> Argument 3
>> Mandatory 1
>> LabelString"Sub-Category"
>> EndArgument
>> Argument 4
>> LabelString"Subject Descriptor"
>> EndArgument
>> MarginDynamic
>> Labelsepxx
>> LabelFont
>> FamilySans
>> SeriesBold
>> ShapeSlanted
>> SizeNormal
>> ColorBlue
>> EndFont
>> End
>>
>
>
> Sorry, this should be:
>
> Style Category
> InPreamble1
> LabelTypeStatic
> LabelString"Category"
> LatexTypeCommand
> LatexNamecategory
> Argument 1
> Mandatory 1
> LabelString"CR number"
> EndArgument
> Argument post:1
> Mandatory 1
> LabelString"Sub-Category"
> EndArgument
> Argument post:2
> LabelString"Subject Descriptor"
> EndArgument
> MarginDynamic
> Labelsepxx
> LabelFont
> FamilySans
> SeriesBold
> ShapeSlanted
> SizeNormal
> ColorBlue
> EndFont
> End
>
>
> Jürgen
>
>
--
Ernesto Posse
Zeligsoft.com
Re: Logic: Tableau Proofs (trees)
I asked about which logic because that determines which operators you will
need (I've only given you a few in my examples), but also because for some
logics the tableaux are not trees but directed acyclic graphs, (e.g., in
temporal logics). This of course has a big impact on how to draw the
tableaux. It can be done in tikz, but it needs additional constructs that I
have not shown in my previous examples. So the question is whether in your
modal logic the tableau construction rules create loops or not.
Since you want to be able to make your own tableaux you will need to learn
a little bit of LaTeX, as I said before. I will try to put together a mini
crash course on the things that you'll need, but in the end you'll need to
do a bit more than just copy-and-paste in order to get what you want. I'll
post the notes here later on. In the meantime you can try the examples, and
try tweaking bits of the code to see what happens.
On Wed, Nov 6, 2013 at 6:12 PM, William Hanson whan...@umn.edu wrote:
Ernesto,
I'm writing a paper using LyX, and I need to insert several specific
tableaus into it. Using your numbers:
1) I do not want to add just *any* tableau example.
2) I do want to add several specific tableaus containing particular
formulas. Probably just five or six such tableaus, each of which would
occupy ten to twenty lines of text. (By a line of text, I mean a
horizontal line across the page in the finished, PDF version. Such a line
might of course include characters from more that one branch. In the
example called Sample Tableau, attached to an earlier message in this
string, I count 12 horizontal lines of text in the leftmost branch (not
counting the slanted lines that indicate branching).)
3) My original idea was indeed to learn to make my own tableaus so that I
could accomplish 2.
When you ask which logic? I assume you're asking which object-language
formulas will appear (with some additional prefixes and suffixes) as items
in the tableaus. The answer is: first-order modal logic plus a lambda
operator for predicate abstraction. That is the object language used in
the Sample Tableau attachment, except that the formulas in the Sample
Tableau don't happen to contain any modal connectives. (The modal
connectives I'm using are the box and the diamond.)
I've been pressed for time the last few days, so I haven't yet had a
chance to try the suggestions you made on Nov 4, or the ones you make today
(Nov 6). I'll do so tomorrow and let you know what happens.
Thanks,
Bill
On Wed, Nov 6, 2013 at 12:46 PM, Ernesto Posse epo...@cs.queensu.cawrote:
Didn't my last suggestions help?
I am still unsure about whether you want to 1) add *any* tableau example,
2) add a specific tableau (i.e., a particular example that you have in mind
with particular formulas), or 3) be able to make your own tableaux. If it
is 1 or 2, which logic? Please clarify.
In terms of tools, I'm afraid that there is no tool, to the best of my
knowledge, that allows you to make tableaux with absolutely no knowledge of
LaTeX. Even if you try to use a drawing program for this purpose, you'll
have to write at least the formulas in LaTeX, and it is quite tricky to
embed formulas in such drawing tools. So if you want to be able to create
your own, I'm afraid you'll have to learn a little bit.
As for your example, try doing the following:
1. In LyX: open your file; go to Document-Settings..-LaTeX Preamble
and enter the following:
\usepackage{tikz}
\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\def\closed{\times}
2. Open Notepad and enter the following (keep the spaces at the beginning
of each line):
\begin{minipage}{1\columnwidth}%
\begin{center}
\begin{tikzpicture}
[level distance=1.5cm,
level 1/.style={sibling distance=2cm},
every child node/.style={anchor=north},
every child/.style={parent anchor=south}]
\node {\begin{minipage}{4cm}%
\begin{center}
$1~\neg ((p \lor (p \land q)) \limp p)$\\
$1~p \lor (p \land q)$\\
$1~\neg p $
\end{center}
\end{minipage}}
child {node {\begin{minipage}{0.5cm}%
\begin{center}
$1~p$\\
$\closed$
\end{center}
\end{minipage}}}
child {node {\begin{minipage}{1.5cm}%
\begin{center}
$1~p \land q$\\
$1~p$\\
$1~q$\\
$\closed$
\end{center}
\end{minipage}}};
\end{tikzpicture}
\end{center}
\end{minipage}
Save this file as tableau_example.tex in the same folder as your LyX
file.
3. On LyX, go to the part of your file where
Re: Logic: Tableau Proofs (trees)
I asked about which logic because that determines which operators you will
need (I've only given you a few in my examples), but also because for some
logics the tableaux are not trees but directed acyclic graphs, (e.g., in
temporal logics). This of course has a big impact on how to draw the
tableaux. It can be done in tikz, but it needs additional constructs that I
have not shown in my previous examples. So the question is whether in your
modal logic the tableau construction rules create loops or not.
Since you want to be able to make your own tableaux you will need to learn
a little bit of LaTeX, as I said before. I will try to put together a mini
crash course on the things that you'll need, but in the end you'll need to
do a bit more than just copy-and-paste in order to get what you want. I'll
post the notes here later on. In the meantime you can try the examples, and
try tweaking bits of the code to see what happens.
On Wed, Nov 6, 2013 at 6:12 PM, William Hanson whan...@umn.edu wrote:
Ernesto,
I'm writing a paper using LyX, and I need to insert several specific
tableaus into it. Using your numbers:
1) I do not want to add just *any* tableau example.
2) I do want to add several specific tableaus containing particular
formulas. Probably just five or six such tableaus, each of which would
occupy ten to twenty lines of text. (By a line of text, I mean a
horizontal line across the page in the finished, PDF version. Such a line
might of course include characters from more that one branch. In the
example called Sample Tableau, attached to an earlier message in this
string, I count 12 horizontal lines of text in the leftmost branch (not
counting the slanted lines that indicate branching).)
3) My original idea was indeed to learn to make my own tableaus so that I
could accomplish 2.
When you ask which logic? I assume you're asking which object-language
formulas will appear (with some additional prefixes and suffixes) as items
in the tableaus. The answer is: first-order modal logic plus a lambda
operator for predicate abstraction. That is the object language used in
the Sample Tableau attachment, except that the formulas in the Sample
Tableau don't happen to contain any modal connectives. (The modal
connectives I'm using are the box and the diamond.)
I've been pressed for time the last few days, so I haven't yet had a
chance to try the suggestions you made on Nov 4, or the ones you make today
(Nov 6). I'll do so tomorrow and let you know what happens.
Thanks,
Bill
On Wed, Nov 6, 2013 at 12:46 PM, Ernesto Posse epo...@cs.queensu.cawrote:
Didn't my last suggestions help?
I am still unsure about whether you want to 1) add *any* tableau example,
2) add a specific tableau (i.e., a particular example that you have in mind
with particular formulas), or 3) be able to make your own tableaux. If it
is 1 or 2, which logic? Please clarify.
In terms of tools, I'm afraid that there is no tool, to the best of my
knowledge, that allows you to make tableaux with absolutely no knowledge of
LaTeX. Even if you try to use a drawing program for this purpose, you'll
have to write at least the formulas in LaTeX, and it is quite tricky to
embed formulas in such drawing tools. So if you want to be able to create
your own, I'm afraid you'll have to learn a little bit.
As for your example, try doing the following:
1. In LyX: open your file; go to Document-Settings..-LaTeX Preamble
and enter the following:
\usepackage{tikz}
\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\def\closed{\times}
2. Open Notepad and enter the following (keep the spaces at the beginning
of each line):
\begin{minipage}{1\columnwidth}%
\begin{center}
\begin{tikzpicture}
[level distance=1.5cm,
level 1/.style={sibling distance=2cm},
every child node/.style={anchor=north},
every child/.style={parent anchor=south}]
\node {\begin{minipage}{4cm}%
\begin{center}
$1~\neg ((p \lor (p \land q)) \limp p)$\\
$1~p \lor (p \land q)$\\
$1~\neg p $
\end{center}
\end{minipage}}
child {node {\begin{minipage}{0.5cm}%
\begin{center}
$1~p$\\
$\closed$
\end{center}
\end{minipage}}}
child {node {\begin{minipage}{1.5cm}%
\begin{center}
$1~p \land q$\\
$1~p$\\
$1~q$\\
$\closed$
\end{center}
\end{minipage}}};
\end{tikzpicture}
\end{center}
\end{minipage}
Save this file as tableau_example.tex in the same folder as your LyX
file.
3. On LyX, go to the part of your file where
Re: Logic: Tableau Proofs (trees)
I asked about which logic because that determines which operators you will
need (I've only given you a few in my examples), but also because for some
logics the tableaux are not trees but directed acyclic graphs, (e.g., in
temporal logics). This of course has a big impact on how to draw the
tableaux. It can be done in tikz, but it needs additional constructs that I
have not shown in my previous examples. So the question is whether in your
modal logic the tableau construction rules create loops or not.
Since you want to be able to make your own tableaux you will need to learn
a little bit of LaTeX, as I said before. I will try to put together a mini
crash course on the things that you'll need, but in the end you'll need to
do a bit more than just copy-and-paste in order to get what you want. I'll
post the notes here later on. In the meantime you can try the examples, and
try tweaking bits of the code to see what happens.
On Wed, Nov 6, 2013 at 6:12 PM, William Hanson <whan...@umn.edu> wrote:
> Ernesto,
>
> I'm writing a paper using LyX, and I need to insert several specific
> tableaus into it. Using your numbers:
>
> 1) I do not want to add just *any* tableau example.
>
> 2) I do want to add several specific tableaus containing particular
> formulas. Probably just five or six such tableaus, each of which would
> occupy ten to twenty lines of text. (By a line of text, I mean a
> horizontal line across the page in the finished, PDF version. Such a line
> might of course include characters from more that one branch. In the
> example called Sample Tableau, attached to an earlier message in this
> string, I count 12 horizontal lines of text in the leftmost branch (not
> counting the slanted lines that indicate branching).)
>
> 3) My original idea was indeed to learn to make my own tableaus so that I
> could accomplish 2.
>
> When you ask "which logic?" I assume you're asking which object-language
> formulas will appear (with some additional prefixes and suffixes) as items
> in the tableaus. The answer is: first-order modal logic plus a lambda
> operator for predicate abstraction. That is the object language used in
> the Sample Tableau attachment, except that the formulas in the Sample
> Tableau don't happen to contain any modal connectives. (The modal
> connectives I'm using are the box and the diamond.)
>
> I've been pressed for time the last few days, so I haven't yet had a
> chance to try the suggestions you made on Nov 4, or the ones you make today
> (Nov 6). I'll do so tomorrow and let you know what happens.
>
> Thanks,
>
> Bill
>
>
> On Wed, Nov 6, 2013 at 12:46 PM, Ernesto Posse <epo...@cs.queensu.ca>wrote:
>
>> Didn't my last suggestions help?
>>
>> I am still unsure about whether you want to 1) add *any* tableau example,
>> 2) add a specific tableau (i.e., a particular example that you have in mind
>> with particular formulas), or 3) be able to make your own tableaux. If it
>> is 1 or 2, which logic? Please clarify.
>>
>> In terms of tools, I'm afraid that there is no tool, to the best of my
>> knowledge, that allows you to make tableaux with absolutely no knowledge of
>> LaTeX. Even if you try to use a drawing program for this purpose, you'll
>> have to write at least the formulas in LaTeX, and it is quite tricky to
>> embed formulas in such drawing tools. So if you want to be able to create
>> your own, I'm afraid you'll have to learn a little bit.
>>
>> As for your example, try doing the following:
>>
>> 1. In LyX: open your file; go to "Document->Settings..->LaTeX Preamble"
>> and enter the following:
>>
>> \usepackage{tikz}
>>
>> \def\land{\wedge}
>> \def\lor{\vee}
>> \def\limp{\to}
>> \def\closed{\times}
>>
>> 2. Open Notepad and enter the following (keep the spaces at the beginning
>> of each line):
>>
>> \begin{minipage}{1\columnwidth}%
>> \begin{center}
>> \begin{tikzpicture}
>> [level distance=1.5cm,
>> level 1/.style={sibling distance=2cm},
>> every child node/.style={anchor=north},
>> every child/.style={parent anchor=south}]
>> \node {\begin{minipage}{4cm}%
>> \begin{center}
>> $1~\neg ((p \lor (p \land q)) \limp p)$\\
>> $1~p \lor (p \land q)$\\
>> $1~\neg p $
>> \end{center}
>>\end{minipage}}
>> child {node {\begin{minipage}{0.5cm}%
>>\begin{center}
>>$1~p$\\
>>$\closed$
>>
Re: Logic: Tableau Proofs (trees)
Didn't my last suggestions help?
I am still unsure about whether you want to 1) add *any* tableau example,
2) add a specific tableau (i.e., a particular example that you have in mind
with particular formulas), or 3) be able to make your own tableaux. If it
is 1 or 2, which logic? Please clarify.
In terms of tools, I'm afraid that there is no tool, to the best of my
knowledge, that allows you to make tableaux with absolutely no knowledge of
LaTeX. Even if you try to use a drawing program for this purpose, you'll
have to write at least the formulas in LaTeX, and it is quite tricky to
embed formulas in such drawing tools. So if you want to be able to create
your own, I'm afraid you'll have to learn a little bit.
As for your example, try doing the following:
1. In LyX: open your file; go to Document-Settings..-LaTeX Preamble and
enter the following:
\usepackage{tikz}
\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\def\closed{\times}
2. Open Notepad and enter the following (keep the spaces at the beginning
of each line):
\begin{minipage}{1\columnwidth}%
\begin{center}
\begin{tikzpicture}
[level distance=1.5cm,
level 1/.style={sibling distance=2cm},
every child node/.style={anchor=north},
every child/.style={parent anchor=south}]
\node {\begin{minipage}{4cm}%
\begin{center}
$1~\neg ((p \lor (p \land q)) \limp p)$\\
$1~p \lor (p \land q)$\\
$1~\neg p $
\end{center}
\end{minipage}}
child {node {\begin{minipage}{0.5cm}%
\begin{center}
$1~p$\\
$\closed$
\end{center}
\end{minipage}}}
child {node {\begin{minipage}{1.5cm}%
\begin{center}
$1~p \land q$\\
$1~p$\\
$1~q$\\
$\closed$
\end{center}
\end{minipage}}};
\end{tikzpicture}
\end{center}
\end{minipage}
Save this file as tableau_example.tex in the same folder as your LyX file.
3. On LyX, go to the part of your file where you want the tableau. If you
had it in a TeX box, remove it, put the cursor in its place, and go to
Insert-File-Child document Click on Browse... and select
tableau_example.tex.
Click OK.
4. Save your LyX file, and now you should be able to preview it or export
it.
PS: Finally, when posting messages to the mailing list please keep the same
subject line (which you can do by clicking Reply on your e-mail client).
This allows other people who have a similar problem to follow the
conversation. Also, ensure that when replying to help from someone in the
list (including myself), don't forget to CC the mailing list, again, so
that people can follow the conversation and see the possible solutions.
On Mon, Nov 4, 2013 at 10:13 PM, William Hanson whan...@umn.edu wrote:
Despite much help from Ernesto Posse, for which I'm grateful, and which
has allowed me to make some progress, I'm still far from being able to
create tableau proofs in LyX.
The attached file contains an example of what I want to create. It's a
tree, each node of which consists of one or more lines of text (one line
above another). These multi-line nodes are connected by slanted lines that
indicate branching. The trees do not contain any vertical lines. There
are examples in many logic texts, the best source being Melvin Fitting and
Richard Mendelsohn, First-Order Modal Logic, Kluwer, 1999.
I know there are sources on the web that cover related matters (tress in
linguistics, sequent-calculus proof), but I've not yet found anything
that's both close to what I need and usable by someone who doesn't know
LaTeX.
I've been using LyX for several years. But since I don't know LaTeX, I'm
not able to download an existing program and customize it to my needs.
Bill Hanson
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Logic: Tableau Proofs (trees)
Didn't my last suggestions help?
I am still unsure about whether you want to 1) add *any* tableau example,
2) add a specific tableau (i.e., a particular example that you have in mind
with particular formulas), or 3) be able to make your own tableaux. If it
is 1 or 2, which logic? Please clarify.
In terms of tools, I'm afraid that there is no tool, to the best of my
knowledge, that allows you to make tableaux with absolutely no knowledge of
LaTeX. Even if you try to use a drawing program for this purpose, you'll
have to write at least the formulas in LaTeX, and it is quite tricky to
embed formulas in such drawing tools. So if you want to be able to create
your own, I'm afraid you'll have to learn a little bit.
As for your example, try doing the following:
1. In LyX: open your file; go to Document-Settings..-LaTeX Preamble and
enter the following:
\usepackage{tikz}
\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\def\closed{\times}
2. Open Notepad and enter the following (keep the spaces at the beginning
of each line):
\begin{minipage}{1\columnwidth}%
\begin{center}
\begin{tikzpicture}
[level distance=1.5cm,
level 1/.style={sibling distance=2cm},
every child node/.style={anchor=north},
every child/.style={parent anchor=south}]
\node {\begin{minipage}{4cm}%
\begin{center}
$1~\neg ((p \lor (p \land q)) \limp p)$\\
$1~p \lor (p \land q)$\\
$1~\neg p $
\end{center}
\end{minipage}}
child {node {\begin{minipage}{0.5cm}%
\begin{center}
$1~p$\\
$\closed$
\end{center}
\end{minipage}}}
child {node {\begin{minipage}{1.5cm}%
\begin{center}
$1~p \land q$\\
$1~p$\\
$1~q$\\
$\closed$
\end{center}
\end{minipage}}};
\end{tikzpicture}
\end{center}
\end{minipage}
Save this file as tableau_example.tex in the same folder as your LyX file.
3. On LyX, go to the part of your file where you want the tableau. If you
had it in a TeX box, remove it, put the cursor in its place, and go to
Insert-File-Child document Click on Browse... and select
tableau_example.tex.
Click OK.
4. Save your LyX file, and now you should be able to preview it or export
it.
PS: Finally, when posting messages to the mailing list please keep the same
subject line (which you can do by clicking Reply on your e-mail client).
This allows other people who have a similar problem to follow the
conversation. Also, ensure that when replying to help from someone in the
list (including myself), don't forget to CC the mailing list, again, so
that people can follow the conversation and see the possible solutions.
On Mon, Nov 4, 2013 at 10:13 PM, William Hanson whan...@umn.edu wrote:
Despite much help from Ernesto Posse, for which I'm grateful, and which
has allowed me to make some progress, I'm still far from being able to
create tableau proofs in LyX.
The attached file contains an example of what I want to create. It's a
tree, each node of which consists of one or more lines of text (one line
above another). These multi-line nodes are connected by slanted lines that
indicate branching. The trees do not contain any vertical lines. There
are examples in many logic texts, the best source being Melvin Fitting and
Richard Mendelsohn, First-Order Modal Logic, Kluwer, 1999.
I know there are sources on the web that cover related matters (tress in
linguistics, sequent-calculus proof), but I've not yet found anything
that's both close to what I need and usable by someone who doesn't know
LaTeX.
I've been using LyX for several years. But since I don't know LaTeX, I'm
not able to download an existing program and customize it to my needs.
Bill Hanson
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Logic: Tableau Proofs (trees)
Didn't my last suggestions help?
I am still unsure about whether you want to 1) add *any* tableau example,
2) add a specific tableau (i.e., a particular example that you have in mind
with particular formulas), or 3) be able to make your own tableaux. If it
is 1 or 2, which logic? Please clarify.
In terms of tools, I'm afraid that there is no tool, to the best of my
knowledge, that allows you to make tableaux with absolutely no knowledge of
LaTeX. Even if you try to use a drawing program for this purpose, you'll
have to write at least the formulas in LaTeX, and it is quite tricky to
embed formulas in such drawing tools. So if you want to be able to create
your own, I'm afraid you'll have to learn a little bit.
As for your example, try doing the following:
1. In LyX: open your file; go to "Document->Settings..->LaTeX Preamble" and
enter the following:
\usepackage{tikz}
\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\def\closed{\times}
2. Open Notepad and enter the following (keep the spaces at the beginning
of each line):
\begin{minipage}{1\columnwidth}%
\begin{center}
\begin{tikzpicture}
[level distance=1.5cm,
level 1/.style={sibling distance=2cm},
every child node/.style={anchor=north},
every child/.style={parent anchor=south}]
\node {\begin{minipage}{4cm}%
\begin{center}
$1~\neg ((p \lor (p \land q)) \limp p)$\\
$1~p \lor (p \land q)$\\
$1~\neg p $
\end{center}
\end{minipage}}
child {node {\begin{minipage}{0.5cm}%
\begin{center}
$1~p$\\
$\closed$
\end{center}
\end{minipage}}}
child {node {\begin{minipage}{1.5cm}%
\begin{center}
$1~p \land q$\\
$1~p$\\
$1~q$\\
$\closed$
\end{center}
\end{minipage}}};
\end{tikzpicture}
\end{center}
\end{minipage}
Save this file as "tableau_example.tex" in the same folder as your LyX file.
3. On LyX, go to the part of your file where you want the tableau. If you
had it in a TeX box, remove it, put the cursor in its place, and go to
"Insert->File->Child document...". Click on "Browse..." and select
"tableau_example.tex".
Click OK.
4. Save your LyX file, and now you should be able to preview it or export
it.
PS: Finally, when posting messages to the mailing list please keep the same
subject line (which you can do by clicking "Reply" on your e-mail client).
This allows other people who have a similar problem to follow the
conversation. Also, ensure that when replying to help from someone in the
list (including myself), don't forget to CC the mailing list, again, so
that people can follow the conversation and see the possible solutions.
On Mon, Nov 4, 2013 at 10:13 PM, William Hanson <whan...@umn.edu> wrote:
> Despite much help from Ernesto Posse, for which I'm grateful, and which
> has allowed me to make some progress, I'm still far from being able to
> create tableau proofs in LyX.
>
> The attached file contains an example of what I want to create. It's a
> tree, each node of which consists of one or more lines of text (one line
> above another). These multi-line nodes are connected by slanted lines that
> indicate branching. The trees do not contain any vertical lines. There
> are examples in many logic texts, the best source being Melvin Fitting and
> Richard Mendelsohn, First-Order Modal Logic, Kluwer, 1999.
>
> I know there are sources on the web that cover related matters (tress in
> linguistics, sequent-calculus proof), but I've not yet found anything
> that's both close to what I need and usable by someone who doesn't know
> LaTeX.
>
> I've been using LyX for several years. But since I don't know LaTeX, I'm
> not able to download an existing program and customize it to my needs.
>
> Bill Hanson
>
>
>
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Tableau Proofs: trees again
an example of what I'm seeking, but apparently there is trouble viewing it. I don't understand this, since in trial e-mails I've sent to myself the file can be opened and read using Adobe Reader. I'm using gmail and attaching the file in the usual way. I'll attach it again to this message and hope for better results. Here's a crude attempt to represent what I'm after. (I hope it comes through ungarbled.) not((P or (P Q)) --P) P or (P Q) not P / \ /\ / \ PP Q x P Q x Each of the seven nodes is a formula of a specified formal language. (In this case it's simple propositional logic.) Notice that there are no lines (vertical or sloping) between any of the nodes except when branching occurs. The only lines in the tree are the sloping ones that indicate branching. It is this feature that I'm unable to create. (I know LyX pretty well, but I know practically nothing about LaTeX.) If I could create trees in which nodes are connected with straight lines only when branching occurs, I'd be well on my way. Bill -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: Tableau Proofs: trees again
an example of what I'm seeking, but apparently there is trouble viewing it. I don't understand this, since in trial e-mails I've sent to myself the file can be opened and read using Adobe Reader. I'm using gmail and attaching the file in the usual way. I'll attach it again to this message and hope for better results. Here's a crude attempt to represent what I'm after. (I hope it comes through ungarbled.) not((P or (P Q)) --P) P or (P Q) not P / \ /\ / \ PP Q x P Q x Each of the seven nodes is a formula of a specified formal language. (In this case it's simple propositional logic.) Notice that there are no lines (vertical or sloping) between any of the nodes except when branching occurs. The only lines in the tree are the sloping ones that indicate branching. It is this feature that I'm unable to create. (I know LyX pretty well, but I know practically nothing about LaTeX.) If I could create trees in which nodes are connected with straight lines only when branching occurs, I'd be well on my way. Bill -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: Tableau Proofs: trees again
helpful in my quest to create >> tableau proofs in LyX. But these examples still don't have the exact >> structure I need. >> >> I've attached (to earlier messages) a pdf file containing an example of >> what I'm seeking, but apparently there is trouble viewing it. I don't >> understand this, since in trial e-mails I've sent to myself the file can be >> opened and read using Adobe Reader. I'm using gmail and attaching the file >> in the usual way. I'll attach it again to this message and hope for better >> results. >> >> Here's a crude attempt to represent what I'm after. (I hope it comes >> through ungarbled.) >> >> not((P or (P & Q)) -->P) >> P or (P & Q) >> not P >> / \ >> /\ >> / \ >> PP & Q >> x P >> Q >>x >> >> Each of the seven nodes is a formula of a specified formal language. >> (In this case it's simple propositional logic.) Notice that there are no >> lines (vertical or sloping) between any of the nodes except when branching >> occurs. The only lines in the tree are the sloping ones that indicate >> branching. It is this feature that I'm unable to create. (I know LyX >> pretty well, but I know practically nothing about LaTeX.) >> >> If I could create trees in which nodes are connected with straight lines >> only when branching occurs, I'd be well on my way. >> >> Bill >> > > -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: Logic: Tableau Proofs (again)
I'm not sure how you are trying to attach files, but it doesn't seem to be
working, so I'm going to try to see if I understand what you want. But I
think the best thing is to work out with a generic example and then you can
apply it to your particular tableau.
First, let us start with a complete binary tree with two levels of depth:
\begin{tikzpicture}
\node {A}
child {node {A1}
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21}}
child {node {A22}}};
\end{tikzpicture}
As you see, the root is introduced with the first \node, and each subtree
is introduced with child { ... }. The root of a subtree is the first
node in it: child { node {B} ... }. Additional sub-subtrees follow the
same syntax, with child immediately after the node: child { node {B}
child { node {C} ... } The structure of the text has the same
structure of the tree you are trying to write.
If you try the example above you'll see that nodes A12 and A21 overlap.
This can be fixed by setting a separation between siblings in each level,
by providing some options at the top, as follows:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A}
child {node {A1}
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21}}
child {node {A22}}};
\end{tikzpicture}
Now, you can also make the tree grow in other directions, by adding
[grow=direction] after the root, where direction can be for example
up, down, left or right. For example:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A} [grow=right]
child {node {A1}
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21}}
child {node {A22}}};
\end{tikzpicture}
Now, you can modify some edges by adding options to specific branches with
the following syntax child [options] { ... }. Options available include
dashed, dotted, thick, thin, very thick, very thin, red,
blue, green, ..., and even arrow heads such as -, -, and more
fancy styles like: |- or - For example:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A} [grow=right]
child {node {A1}
child {node {A11}}
child [dotted] {node {A12}}}
child {node {A2}
child [dashed, thick, blue, |-] {node {A21}}
child {node {A22}}};
\end{tikzpicture}
So one possibility is to draw edges with the same colour as the background,
typically white. But, this is not necessarity good, and if instead of
having an edge with a different style, you want no edge at all, then the
syntax is a bit different: child {node {X} edge from parent[draw=none] ...
}. For example:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A} [grow=right]
child {node {A1} edge from parent[draw=none]
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21} edge from parent[draw=none]}
child {node {A22}}};
\end{tikzpicture}
And of course, remember the [missing] option to get rid of children:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A} [grow=right]
child {node {A1} edge from parent[draw=none]
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21} edge from parent[draw=none]}
child [missing] {node {A22}}};
\end{tikzpicture}
Finally, you can replace the node's text A, A11, etc. with whatever you
want. In particular, in LaTeX, formulae are written in math mode, which
goes inside $...$.
If this doesn't help you might want to try again attaching the file to the
message.
On Tue, Oct 29, 2013 at 10:53 AM, William Hanson whan...@umn.edu wrote:
Well, that didn't work either. Sorry for the big message with all the
junk. I hope some of you will be able to open the attachment.
Bill
On Tue, Oct 29, 2013 at 9:49 AM, William Hanson whan...@umn.edu wrote:
Dear All,
Many thanks to Ernesto Posse for the very detailed and helpful response.
However, what I'm trying to do is eliminate *all* the lines between
nodes *except* those that indicate a genuine branching of the tree. In
other words, I want the overall structure of the tree to look like the
following (which I tried to attach to my previous messages, but which
apparently could not be opened). As usual, any and all help is appreciated.
Bill
On Mon, Oct 28, 2013 at 3:45 PM, Ernesto Posse epo...@cs.queensu.cawrote:
I'm unable to see your attachment, but if I understand what you want,
the simplest approach is to create phantom nodes in the tree. This can be
achieved with child [missing] as in the following examples:
First, a simple tree with two nodes: A and B; A is the root, and B is
directly below it:
\begin{tikzpicture}
\node {A}
child {node {B}};
\end{tikzpicture}
Then with node B towards the left:
\begin{tikzpicture}
\node {A}
child {node {B}}
child [missing];
\end
Re: Logic: Tableau Proofs (again)
I'm not sure how you are trying to attach files, but it doesn't seem to be
working, so I'm going to try to see if I understand what you want. But I
think the best thing is to work out with a generic example and then you can
apply it to your particular tableau.
First, let us start with a complete binary tree with two levels of depth:
\begin{tikzpicture}
\node {A}
child {node {A1}
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21}}
child {node {A22}}};
\end{tikzpicture}
As you see, the root is introduced with the first \node, and each subtree
is introduced with child { ... }. The root of a subtree is the first
node in it: child { node {B} ... }. Additional sub-subtrees follow the
same syntax, with child immediately after the node: child { node {B}
child { node {C} ... } The structure of the text has the same
structure of the tree you are trying to write.
If you try the example above you'll see that nodes A12 and A21 overlap.
This can be fixed by setting a separation between siblings in each level,
by providing some options at the top, as follows:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A}
child {node {A1}
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21}}
child {node {A22}}};
\end{tikzpicture}
Now, you can also make the tree grow in other directions, by adding
[grow=direction] after the root, where direction can be for example
up, down, left or right. For example:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A} [grow=right]
child {node {A1}
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21}}
child {node {A22}}};
\end{tikzpicture}
Now, you can modify some edges by adding options to specific branches with
the following syntax child [options] { ... }. Options available include
dashed, dotted, thick, thin, very thick, very thin, red,
blue, green, ..., and even arrow heads such as -, -, and more
fancy styles like: |- or - For example:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A} [grow=right]
child {node {A1}
child {node {A11}}
child [dotted] {node {A12}}}
child {node {A2}
child [dashed, thick, blue, |-] {node {A21}}
child {node {A22}}};
\end{tikzpicture}
So one possibility is to draw edges with the same colour as the background,
typically white. But, this is not necessarity good, and if instead of
having an edge with a different style, you want no edge at all, then the
syntax is a bit different: child {node {X} edge from parent[draw=none] ...
}. For example:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A} [grow=right]
child {node {A1} edge from parent[draw=none]
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21} edge from parent[draw=none]}
child {node {A22}}};
\end{tikzpicture}
And of course, remember the [missing] option to get rid of children:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A} [grow=right]
child {node {A1} edge from parent[draw=none]
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21} edge from parent[draw=none]}
child [missing] {node {A22}}};
\end{tikzpicture}
Finally, you can replace the node's text A, A11, etc. with whatever you
want. In particular, in LaTeX, formulae are written in math mode, which
goes inside $...$.
If this doesn't help you might want to try again attaching the file to the
message.
On Tue, Oct 29, 2013 at 10:53 AM, William Hanson whan...@umn.edu wrote:
Well, that didn't work either. Sorry for the big message with all the
junk. I hope some of you will be able to open the attachment.
Bill
On Tue, Oct 29, 2013 at 9:49 AM, William Hanson whan...@umn.edu wrote:
Dear All,
Many thanks to Ernesto Posse for the very detailed and helpful response.
However, what I'm trying to do is eliminate *all* the lines between
nodes *except* those that indicate a genuine branching of the tree. In
other words, I want the overall structure of the tree to look like the
following (which I tried to attach to my previous messages, but which
apparently could not be opened). As usual, any and all help is appreciated.
Bill
On Mon, Oct 28, 2013 at 3:45 PM, Ernesto Posse epo...@cs.queensu.cawrote:
I'm unable to see your attachment, but if I understand what you want,
the simplest approach is to create phantom nodes in the tree. This can be
achieved with child [missing] as in the following examples:
First, a simple tree with two nodes: A and B; A is the root, and B is
directly below it:
\begin{tikzpicture}
\node {A}
child {node {B}};
\end{tikzpicture}
Then with node B towards the left:
\begin{tikzpicture}
\node {A}
child {node {B}}
child [missing];
\end
Re: Logic: Tableau Proofs (again)
I'm not sure how you are trying to attach files, but it doesn't seem to be
working, so I'm going to try to see if I understand what you want. But I
think the best thing is to work out with a generic example and then you can
apply it to your particular tableau.
First, let us start with a complete binary tree with two levels of depth:
\begin{tikzpicture}
\node {A}
child {node {A1}
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21}}
child {node {A22}}};
\end{tikzpicture}
As you see, the root is introduced with the first "\node", and each subtree
is introduced with "child { ... }". The root of a subtree is the first
"node" in it: "child { node {B} ... }". Additional sub-subtrees follow the
same syntax, with "child" immediately after the node: "child { node {B}
child { node {C} ... } ...". The structure of the text has the same
structure of the tree you are trying to write.
If you try the example above you'll see that nodes A12 and A21 overlap.
This can be fixed by setting a separation between siblings in each level,
by providing some options at the top, as follows:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A}
child {node {A1}
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21}}
child {node {A22}}};
\end{tikzpicture}
Now, you can also make the tree "grow" in other directions, by adding
"[grow=]" after the root, where direction can be for example
"up", "down", "left" or "right". For example:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A} [grow=right]
child {node {A1}
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21}}
child {node {A22}}};
\end{tikzpicture}
Now, you can modify some edges by adding options to specific branches with
the following syntax "child [] { ... }". Options available include
"dashed", "dotted", "thick", "thin", "very thick", "very thin", "red",
"blue", "green", ..., and even arrow heads such as "->", "->>", and more
fancy styles like: "|->" or ">>->>" For example:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A} [grow=right]
child {node {A1}
child {node {A11}}
child [dotted] {node {A12}}}
child {node {A2}
child [dashed, thick, blue, |->] {node {A21}}
child {node {A22}}};
\end{tikzpicture}
So one possibility is to draw edges with the same colour as the background,
typically "white". But, this is not necessarity good, and if instead of
having an edge with a different style, you want no edge at all, then the
syntax is a bit different: "child {node {X} edge from parent[draw=none] ...
}". For example:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A} [grow=right]
child {node {A1} edge from parent[draw=none]
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21} edge from parent[draw=none]}
child {node {A22}}};
\end{tikzpicture}
And of course, remember the [missing] option to get rid of children:
\begin{tikzpicture}
[level 1/.style={sibling distance=2cm},
level 2/.style={sibling distance=1cm}]
\node {A} [grow=right]
child {node {A1} edge from parent[draw=none]
child {node {A11}}
child {node {A12}}}
child {node {A2}
child {node {A21} edge from parent[draw=none]}
child [missing] {node {A22}}};
\end{tikzpicture}
Finally, you can replace the node's text A, A11, etc. with whatever you
want. In particular, in LaTeX, formulae are written in "math mode", which
goes inside $...$.
If this doesn't help you might want to try again attaching the file to the
message.
On Tue, Oct 29, 2013 at 10:53 AM, William Hanson <whan...@umn.edu> wrote:
> Well, that didn't work either. Sorry for the big message with all the
> junk. I hope some of you will be able to open the attachment.
>
> Bill
>
>
> On Tue, Oct 29, 2013 at 9:49 AM, William Hanson <whan...@umn.edu> wrote:
>
>> Dear All,
>>
>> Many thanks to Ernesto Posse for the very detailed and helpful response.
>> However, what I'm trying to do is eliminate *all* the lines between
>> nodes *except* those that indicate a genuine branching of the tree. In
>> other words, I want the overall structure of the tree to look like the
>> following (which I tried to attach to my previous messages, but which
>> apparently could not be opened). As usual, any and all help is appreciated.
>>
>> Bill
>>
>>
>>
>>
>>
>>
>> On Mon, Oct 28, 2013 at 3:45 PM, Ern
Re: Logic: Tableau Proofs (again)
I'm unable to see your attachment, but if I understand what you want, the
simplest approach is to create phantom nodes in the tree. This can be
achieved with child [missing] as in the following examples:
First, a simple tree with two nodes: A and B; A is the root, and B is
directly below it:
\begin{tikzpicture}
\node {A}
child {node {B}};
\end{tikzpicture}
Then with node B towards the left:
\begin{tikzpicture}
\node {A}
child {node {B}}
child [missing];
\end{tikzpicture}
and now, with B towards the right:
\begin{tikzpicture}
\node {A}
child [missing]
child {node {B}};
\end{tikzpicture}
Now, with your example (I changed the numbers in the nodes, for reference):
\begin{tikzpicture}
\node {$1.~\neg ((p \lor (p \land q)) \limp p)$}
child {node {$2.~ p \lor (p \land q)$}
child [missing]
child {node {$3.~ \neg p $}
child {node {$4.~ \ p $}}
child {node {$5.~ p \land q$}
child [missing]
child {node {$6.~ p $}
child {node {$7.~ q $}}
child [missing]
child [missing];
\end{tikzpicture}
As indicated in the examples above, the position of the child [missing]
relative to its siblings determines where you get the child nodes. Of
course you can also add any number of missing children, which increases the
angle:
\begin{tikzpicture}
\node {A}
child [missing]
child [missing]
child {node {B}};
\end{tikzpicture}
Furthermore, you can control the distance between sibling nodes:
\begin{tikzpicture}[sibling distance=4cm]
\node {A}
child {node {B}}
child {node {C}};
\end{tikzpicture}
and even the distance between levels:
\begin{tikzpicture}[sibling distance=4cm,level distance=5cm]
\node {A}
child {node {B}}
child {node {C}};
\end{tikzpicture}
On Mon, Oct 28, 2013 at 4:06 PM, William Hanson whan...@umn.edu wrote:
Dear LyX Colleagues,
I'm still trying to create tableau proofs, which are branching columns of
text, as illustrated in the attachment.
Ernesto Posse's sample tableau (below) is helpful, but it contains two
features I don't want:
1. Two sentences at a node, separated by commas. I want just one
sentence at each node, as in the attached sample. I've been figured out
how to solve this problem by modifying Ernesto's code as follows:
\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$1\neg ((p \lor (p \land q)) \limp p)$}
child {node {$ 1 p \lor (p \land q)$}
child {node {$1 \neg p $}
child {node {$1 \ p $}}
child {node {$1 p \land q$}
child {node {$1 p $}
child {node {$1 q $}};
\end{tikzpicture}
2. But the foregoing code retains another feature I don't want: vertical
lines from node to node when there is no branching. I want only the
(approximately) 45 degree (and 315 degree) lines that indicate branching,
as on the attached sample.
I've used LyX for several years, but I don't know LaTeX.
Any and all help appreciated.
Bill
[image: Sample
Tableau.pdf]https://mail.google.com/mail/u/0/?ui=2ik=fcb7343f58view=attth=141e0e8e8016ae7fattid=0.1disp=saferealattid=f_hn3bnlm80zw
*Sample Tableau.pdf*
146K
Viewhttps://docs.google.com/viewer?a=vpid=gmailattid=0.1thid=141e0e8e8016ae7fmt=application/pdfauthuser=0url=https://mail.google.com/mail/u/0/?ui%3D2%26ik%3Dfcb7343f58%26view%3Datt%26th%3D141e0e8e8016ae7f%26attid%3D0.1%26disp%3Dsafe%26realattid%3Df_hn3bnlm80%26zwsig=AHIEtbQpDR5qvKd2TSh_O5cOhrpoG-Owmg
Downloadhttps://mail.google.com/mail/u/0/?ui=2ik=fcb7343f58view=attth=141e0e8e8016ae7fattid=0.1disp=saferealattid=f_hn3bnlm80zw
Ernesto Posse epo...@cs.queensu.ca
Oct 22 (6 days ago)
to me, lyx-users
Hello. The easiest (and nicest) way to do this is using the tikz package:
in the preamble put
\usepackage{tikz}
and then, wherever you want the tableau, put in a TeX box the following:
\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}
child {node {$\{p \lor (p \land q), \neg p\}$}
child {node {$\{p\}$}}
child {node {$\{p \land q\}$}
child {node {$\{p,q\}$;
\end{tikzpicture}
Note that the structure of the tree depends on the grouping braces { ... }.
Richard Heck rgh...@lyx.org
Oct 22 (6 days ago)
to Ernesto, me, lyx-users
There are lots of useful resources about this here:
http://www.logicmatters.net/latex-for-logicians/trees/
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Logic: Tableau Proofs (again)
I'm unable to see your attachment, but if I understand what you want, the
simplest approach is to create phantom nodes in the tree. This can be
achieved with child [missing] as in the following examples:
First, a simple tree with two nodes: A and B; A is the root, and B is
directly below it:
\begin{tikzpicture}
\node {A}
child {node {B}};
\end{tikzpicture}
Then with node B towards the left:
\begin{tikzpicture}
\node {A}
child {node {B}}
child [missing];
\end{tikzpicture}
and now, with B towards the right:
\begin{tikzpicture}
\node {A}
child [missing]
child {node {B}};
\end{tikzpicture}
Now, with your example (I changed the numbers in the nodes, for reference):
\begin{tikzpicture}
\node {$1.~\neg ((p \lor (p \land q)) \limp p)$}
child {node {$2.~ p \lor (p \land q)$}
child [missing]
child {node {$3.~ \neg p $}
child {node {$4.~ \ p $}}
child {node {$5.~ p \land q$}
child [missing]
child {node {$6.~ p $}
child {node {$7.~ q $}}
child [missing]
child [missing];
\end{tikzpicture}
As indicated in the examples above, the position of the child [missing]
relative to its siblings determines where you get the child nodes. Of
course you can also add any number of missing children, which increases the
angle:
\begin{tikzpicture}
\node {A}
child [missing]
child [missing]
child {node {B}};
\end{tikzpicture}
Furthermore, you can control the distance between sibling nodes:
\begin{tikzpicture}[sibling distance=4cm]
\node {A}
child {node {B}}
child {node {C}};
\end{tikzpicture}
and even the distance between levels:
\begin{tikzpicture}[sibling distance=4cm,level distance=5cm]
\node {A}
child {node {B}}
child {node {C}};
\end{tikzpicture}
On Mon, Oct 28, 2013 at 4:06 PM, William Hanson whan...@umn.edu wrote:
Dear LyX Colleagues,
I'm still trying to create tableau proofs, which are branching columns of
text, as illustrated in the attachment.
Ernesto Posse's sample tableau (below) is helpful, but it contains two
features I don't want:
1. Two sentences at a node, separated by commas. I want just one
sentence at each node, as in the attached sample. I've been figured out
how to solve this problem by modifying Ernesto's code as follows:
\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$1\neg ((p \lor (p \land q)) \limp p)$}
child {node {$ 1 p \lor (p \land q)$}
child {node {$1 \neg p $}
child {node {$1 \ p $}}
child {node {$1 p \land q$}
child {node {$1 p $}
child {node {$1 q $}};
\end{tikzpicture}
2. But the foregoing code retains another feature I don't want: vertical
lines from node to node when there is no branching. I want only the
(approximately) 45 degree (and 315 degree) lines that indicate branching,
as on the attached sample.
I've used LyX for several years, but I don't know LaTeX.
Any and all help appreciated.
Bill
[image: Sample
Tableau.pdf]https://mail.google.com/mail/u/0/?ui=2ik=fcb7343f58view=attth=141e0e8e8016ae7fattid=0.1disp=saferealattid=f_hn3bnlm80zw
*Sample Tableau.pdf*
146K
Viewhttps://docs.google.com/viewer?a=vpid=gmailattid=0.1thid=141e0e8e8016ae7fmt=application/pdfauthuser=0url=https://mail.google.com/mail/u/0/?ui%3D2%26ik%3Dfcb7343f58%26view%3Datt%26th%3D141e0e8e8016ae7f%26attid%3D0.1%26disp%3Dsafe%26realattid%3Df_hn3bnlm80%26zwsig=AHIEtbQpDR5qvKd2TSh_O5cOhrpoG-Owmg
Downloadhttps://mail.google.com/mail/u/0/?ui=2ik=fcb7343f58view=attth=141e0e8e8016ae7fattid=0.1disp=saferealattid=f_hn3bnlm80zw
Ernesto Posse epo...@cs.queensu.ca
Oct 22 (6 days ago)
to me, lyx-users
Hello. The easiest (and nicest) way to do this is using the tikz package:
in the preamble put
\usepackage{tikz}
and then, wherever you want the tableau, put in a TeX box the following:
\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}
child {node {$\{p \lor (p \land q), \neg p\}$}
child {node {$\{p\}$}}
child {node {$\{p \land q\}$}
child {node {$\{p,q\}$;
\end{tikzpicture}
Note that the structure of the tree depends on the grouping braces { ... }.
Richard Heck rgh...@lyx.org
Oct 22 (6 days ago)
to Ernesto, me, lyx-users
There are lots of useful resources about this here:
http://www.logicmatters.net/latex-for-logicians/trees/
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Logic: Tableau Proofs (again)
I'm unable to see your attachment, but if I understand what you want, the
simplest approach is to create "phantom" nodes in the tree. This can be
achieved with "child [missing]" as in the following examples:
First, a simple tree with two nodes: A and B; A is the root, and B is
directly below it:
\begin{tikzpicture}
\node {A}
child {node {B}};
\end{tikzpicture}
Then with node B towards the left:
\begin{tikzpicture}
\node {A}
child {node {B}}
child [missing];
\end{tikzpicture}
and now, with B towards the right:
\begin{tikzpicture}
\node {A}
child [missing]
child {node {B}};
\end{tikzpicture}
Now, with your example (I changed the numbers in the nodes, for reference):
\begin{tikzpicture}
\node {$1.~\neg ((p \lor (p \land q)) \limp p)$}
child {node {$2.~ p \lor (p \land q)$}
child [missing]
child {node {$3.~ \neg p $}
child {node {$4.~ \ p $}}
child {node {$5.~ p \land q$}
child [missing]
child {node {$6.~ p $}
child {node {$7.~ q $}}
child [missing]
child [missing];
\end{tikzpicture}
As indicated in the examples above, the position of the "child [missing]"
relative to its siblings determines where you get the child nodes. Of
course you can also add any number of missing children, which increases the
angle:
\begin{tikzpicture}
\node {A}
child [missing]
child [missing]
child {node {B}};
\end{tikzpicture}
Furthermore, you can control the distance between sibling nodes:
\begin{tikzpicture}[sibling distance=4cm]
\node {A}
child {node {B}}
child {node {C}};
\end{tikzpicture}
and even the distance between levels:
\begin{tikzpicture}[sibling distance=4cm,level distance=5cm]
\node {A}
child {node {B}}
child {node {C}};
\end{tikzpicture}
On Mon, Oct 28, 2013 at 4:06 PM, William Hanson <whan...@umn.edu> wrote:
> Dear LyX Colleagues,
>
> I'm still trying to create tableau proofs, which are branching columns of
> text, as illustrated in the attachment.
>
> Ernesto Posse's sample tableau (below) is helpful, but it contains two
> features I don't want:
>
> 1. Two sentences at a node, separated by commas. I want just one
> sentence at each node, as in the attached sample. I've been figured out
> how to solve this problem by modifying Ernesto's code as follows:
>
> \def\land{\wedge}
> \def\lor{\vee}
> \def\limp{\to}
> \begin{tikzpicture}
> \node {$1\neg ((p \lor (p \land q)) \limp p)$}
> child {node {$ 1 p \lor (p \land q)$}
> child {node {$1 \neg p $}
> child {node {$1 \ p $}}
> child {node {$1 p \land q$}
> child {node {$1 p $}
> child {node {$1 q $}};
> \end{tikzpicture}
>
> 2. But the foregoing code retains another feature I don't want: vertical
> lines from node to node when there is no branching. I want only the
> (approximately) 45 degree (and 315 degree) lines that indicate branching,
> as on the attached sample.
>
> I've used LyX for several years, but I don't know LaTeX.
>
> Any and all help appreciated.
>
> Bill
>
>
>
>
>
> [image: Sample
> Tableau.pdf]<https://mail.google.com/mail/u/0/?ui=2=fcb7343f58=att=141e0e8e8016ae7f=0.1=safe=f_hn3bnlm80>
> *Sample Tableau.pdf*
> 146K
> View<https://docs.google.com/viewer?a=v=gmail=0.1=141e0e8e8016ae7f=application/pdf=0=https://mail.google.com/mail/u/0/?ui%3D2%26ik%3Dfcb7343f58%26view%3Datt%26th%3D141e0e8e8016ae7f%26attid%3D0.1%26disp%3Dsafe%26realattid%3Df_hn3bnlm80%26zw=AHIEtbQpDR5qvKd2TSh_O5cOhrpoG-Owmg>
> Download<https://mail.google.com/mail/u/0/?ui=2=fcb7343f58=att=141e0e8e8016ae7f=0.1=safe=f_hn3bnlm80>
>
> Ernesto Posse <epo...@cs.queensu.ca>
> Oct 22 (6 days ago)
>
> to me, lyx-users
> Hello. The easiest (and nicest) way to do this is using the tikz package:
> in the preamble put
>
> \usepackage{tikz}
>
> and then, wherever you want the tableau, put in a TeX box the following:
>
> \def\land{\wedge}
>
> \def\lor{\vee}
>
> \def\limp{\to}
>
> \begin{tikzpicture}
>
> \node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}
>
> child {node {$\{p \lor (p \land q), \neg p\}$}
>
> child {node {$\{p\}$}}
>
> child {node {$\{p \land q\}$}
>
> child {node {$\{p,q\}$;
>
> \end{tikzpicture}
>
>
> Note that the structure of the tree depends on the grouping braces { ... }.
>
>
> Richard Heck <rgh...@lyx.org>
> Oct 22 (6 days ago)
>
> to Ernesto, me, lyx-users
> There are lots of useful resources about this here:
> http://www.logicmatters.net/latex-for-logicians/trees/
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: why people give up on open source software
Ken, you are not the one doing the fixing. The ones doing the fixing are the ones deserving of gratitude and the ones doing the real work, far more than the ones reporting the bugs. Reporting bugs (politely) is always appreciated. Reporting bugs while insulting, and trashing the *volunteer* work and demanding professionalism from those who are providing you with a free product (developed for free), is not appreciated. On Sat, Oct 26, 2013 at 7:46 PM, Ken Springer snowsh...@q.com wrote: On 10/26/13 10:17 AM, Steve Litt wrote: On Thu, 24 Oct 2013 17:53:35 -0600 Ken Springer snowsh...@q.com wrote: I'm not a programmer, learned many years ago that is not for me. But I did contribute, for free, to writing the help files of a commercial program for a platform now long gone. But, as I wrote in news://news.gmane.org:119/**l4bi37$vh$1...@ger.gmane.orghttp://news.gmane.org:119/l4bi37$vh$1...@ger.gmane.org, if I help by reporting bugs I find in a program, assuming that reporting is requested by developers, shouldn't there be some thanks shown by fixing the bug? Depends. Imagine a buddy, who is a skateboarder, asking you for a critique of his style while doing tricks. Both of the following could be considered reporting a bug: 1) I think you need to bend your knees more. 2) No wonder you're always losing contests, falling down, and just generally screwing up. Your knees are straight. How unprofessional. #1 garners a thank you. #2 garners what a douchebag! Thanks, SteveT Steve Litt* http://www.troubleshooters.**com/http://www.troubleshooters.com/ Troubleshooting Training * Human Performance Not the same situation, Steve. In both examples, fixing my friend's skateboard bugs result in a feature of his skateboarding that gives me something I can use. :-) If I report a bug in a piece of software, fairly obviously it's something I use but is broken. When the bug is squashed, then I and everyone else has something they can use. -- Ken Mac OS X 10.8.5 Firefox 24.0 Thunderbird 17.0.8 LibreOffice 4.1.1.2 -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: why people give up on open source software
Ken, you are not the one doing the fixing. The ones doing the fixing are the ones deserving of gratitude and the ones doing the real work, far more than the ones reporting the bugs. Reporting bugs (politely) is always appreciated. Reporting bugs while insulting, and trashing the *volunteer* work and demanding professionalism from those who are providing you with a free product (developed for free), is not appreciated. On Sat, Oct 26, 2013 at 7:46 PM, Ken Springer snowsh...@q.com wrote: On 10/26/13 10:17 AM, Steve Litt wrote: On Thu, 24 Oct 2013 17:53:35 -0600 Ken Springer snowsh...@q.com wrote: I'm not a programmer, learned many years ago that is not for me. But I did contribute, for free, to writing the help files of a commercial program for a platform now long gone. But, as I wrote in news://news.gmane.org:119/**l4bi37$vh$1...@ger.gmane.orghttp://news.gmane.org:119/l4bi37$vh$1...@ger.gmane.org, if I help by reporting bugs I find in a program, assuming that reporting is requested by developers, shouldn't there be some thanks shown by fixing the bug? Depends. Imagine a buddy, who is a skateboarder, asking you for a critique of his style while doing tricks. Both of the following could be considered reporting a bug: 1) I think you need to bend your knees more. 2) No wonder you're always losing contests, falling down, and just generally screwing up. Your knees are straight. How unprofessional. #1 garners a thank you. #2 garners what a douchebag! Thanks, SteveT Steve Litt* http://www.troubleshooters.**com/http://www.troubleshooters.com/ Troubleshooting Training * Human Performance Not the same situation, Steve. In both examples, fixing my friend's skateboard bugs result in a feature of his skateboarding that gives me something I can use. :-) If I report a bug in a piece of software, fairly obviously it's something I use but is broken. When the bug is squashed, then I and everyone else has something they can use. -- Ken Mac OS X 10.8.5 Firefox 24.0 Thunderbird 17.0.8 LibreOffice 4.1.1.2 -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: why people give up on open source software
Ken, you are not the one doing the fixing. The ones doing the fixing are the ones deserving of gratitude and the ones doing the real work, far more than the ones reporting the bugs. Reporting bugs (politely) is always appreciated. Reporting bugs while insulting, and trashing the *volunteer* work and demanding "professionalism" from those who are providing you with a free product (developed for free), is not appreciated. On Sat, Oct 26, 2013 at 7:46 PM, Ken Springer <snowsh...@q.com> wrote: > On 10/26/13 10:17 AM, Steve Litt wrote: > >> On Thu, 24 Oct 2013 17:53:35 -0600 >> Ken Springer <snowsh...@q.com> wrote: >> >> I'm not a programmer, learned many years ago that is not for me. But >>> I did contribute, for free, to writing the help files of a commercial >>> program for a platform now long gone. >>> >>> But, as I wrote in >>> news://news.gmane.org:119/**l4bi37$vh$1...@ger.gmane.org<http://news.gmane.org:119/l4bi37$vh$1...@ger.gmane.org>, >>> if I help by >>> reporting bugs I find in a program, assuming that reporting is >>> requested by developers, shouldn't there be some thanks shown by >>> fixing the bug? >>> >> >> Depends. >> >> Imagine a buddy, who is a skateboarder, asking you for a critique of >> his style while doing tricks. Both of the following could be considered >> "reporting a bug": >> >> 1) I think you need to bend your knees more. >> >> 2) No wonder you're always losing contests, falling down, and just >> generally screwing up. Your knees are straight. How unprofessional. >> >> #1 garners a "thank you." #2 garners "what a douchebag!" >> >> Thanks, >> >> SteveT >> >> Steve Litt* >> http://www.troubleshooters.**com/<http://www.troubleshooters.com/> >> Troubleshooting Training * Human Performance >> > > Not the same situation, Steve. In both examples, fixing my friend's > skateboard "bugs" result in a feature of his skateboarding that gives me > something I can use. :-) > > If I report a bug in a piece of software, fairly obviously it's something > I use but is broken. When the bug is squashed, then I and everyone else > has something they can use. > > > > -- > Ken > > Mac OS X 10.8.5 > Firefox 24.0 > Thunderbird 17.0.8 > LibreOffice 4.1.1.2 > > -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: why people give up on open source software
You do seem to have very strong opinions about open-source, and demand very high standards. Would you care to tell us how many open-source projects have you created or at least been an active developer in? On Wed, Oct 23, 2013 at 1:41 PM, Ken Springer snowsh...@q.com wrote: I do, but that's no excuse for being nonprofessional in what you are trying to do. Adding features while ignoring bugs is nonprofessional. I do have some free software installed, some open source, some not. But I get updates and bug fixes from the free software, not so much from the open source software in the way of bug fixes. On 10/23/13 10:50 AM, Ernesto Posse wrote: You do understand that a lot of open-source software, including LyX, is developed by *volunteers*, do you? On Wed, Oct 23, 2013 at 12:33 PM, Ken Springer snowsh...@q.com mailto:snowsh...@q.com wrote: On 10/22/13 10:19 PM, Richard Talley wrote: I originally picked up on LyX because I needed to produce some technical manuals quickly that looked good to management and that didn't make me deal with the WYSIWYG nightmares of Word and its ilk. LyX really came through for me. Now I'm helping a friend apply to graduate school. I used the KOMA-script v. 2 letter class to typeset his letter of intent. Looks good! Now on to the résumé. Let's see what's available. ModernCV looks good, under development for seven years. Except it won't accept last names much longer than the author's name without hyphenation. Searching produces lot's of hacks to deal with this. Run the example that comes with LyX. Note in example says, 'The moderncv class offers lots of customization possibilities; some are explained in the preamble of this document; for more information look at the documentation of the LaTeX-package moderncv.' Yeah, right. The README for moderncv is very short and includes this: 'Until a decent manual is written, you can always look in the examples directory for some examples. Documents can be compiled into dvi, ps or pdf.' The example LyX file points to documentation that doesn't actually exist. There is no 'more information'. Nothing is explained. Seven years of development and there's nothing that Aunt Tillie can use. I know what I'm going to hear, 'Do it yourself', 'That's how open source works'. I agree. Perhaps I'll find the time to work on the documentation. In the meantime, I need to produce a document NOW, not work on the documentation for the tool to produce the document. Lesson: Please don't point to ghost documentation. If you have the time to produce something that you expect people to use, you need to make the time to explain how to use it. (Disclaimer: this doesn't apply to LyX itself, which is richly documented. Just to accessories to LyX and to open source generally.) -- Rich To all, what I'm about to write doesn't specifically to LyX, but as in Rich's disclaimer, it applies to the open source community in general. I totally understand Rich's frustrations, although he clearly states his comments about the ModernCV site do not apply to LyX. When I bought this Mac, it was more than I should have spent. I got into the open source programs, and encouraged others to do so. I no longer encourage others to use it. Myself, I'm slowly moving back to commercial software. A fair question is, why? There's no universal answer to the question. I'll just do some quick comments, and leave it at that. 1. Web pages make claims as to the abilities to do a job. But the software is buggy, or some features just don't work. 2. Some pages ask you to become involved, and file bugs. You do, and I did. But, after a year and a half, the bugs are not even assigned to anyone, much less fixed. One bug was assigned for awhile, but the assignment has been removed. Both are classed as minor. Well... They aren't minor to me!! If the developers don't/won't fix it, then: a. Why would I use the program? b. Why would I recommend the program? The program I filed the bugs with is one that wishes to take on a commercial program in the marketplace. And they add new features, some of which are inevitable buggy. But the attitude exhibited by not fixing existing bugs is very unprofessional. If you are a business, with competition, you want tools that work, not tools you spend a lot of time finding work arounds. 3. When the new version comes out, and the developers have broken
Re: why people give up on open source software
You do seem to have very strong opinions about open-source, and demand very high standards. Would you care to tell us how many open-source projects have you created or at least been an active developer in? On Wed, Oct 23, 2013 at 1:41 PM, Ken Springer snowsh...@q.com wrote: I do, but that's no excuse for being nonprofessional in what you are trying to do. Adding features while ignoring bugs is nonprofessional. I do have some free software installed, some open source, some not. But I get updates and bug fixes from the free software, not so much from the open source software in the way of bug fixes. On 10/23/13 10:50 AM, Ernesto Posse wrote: You do understand that a lot of open-source software, including LyX, is developed by *volunteers*, do you? On Wed, Oct 23, 2013 at 12:33 PM, Ken Springer snowsh...@q.com mailto:snowsh...@q.com wrote: On 10/22/13 10:19 PM, Richard Talley wrote: I originally picked up on LyX because I needed to produce some technical manuals quickly that looked good to management and that didn't make me deal with the WYSIWYG nightmares of Word and its ilk. LyX really came through for me. Now I'm helping a friend apply to graduate school. I used the KOMA-script v. 2 letter class to typeset his letter of intent. Looks good! Now on to the résumé. Let's see what's available. ModernCV looks good, under development for seven years. Except it won't accept last names much longer than the author's name without hyphenation. Searching produces lot's of hacks to deal with this. Run the example that comes with LyX. Note in example says, 'The moderncv class offers lots of customization possibilities; some are explained in the preamble of this document; for more information look at the documentation of the LaTeX-package moderncv.' Yeah, right. The README for moderncv is very short and includes this: 'Until a decent manual is written, you can always look in the examples directory for some examples. Documents can be compiled into dvi, ps or pdf.' The example LyX file points to documentation that doesn't actually exist. There is no 'more information'. Nothing is explained. Seven years of development and there's nothing that Aunt Tillie can use. I know what I'm going to hear, 'Do it yourself', 'That's how open source works'. I agree. Perhaps I'll find the time to work on the documentation. In the meantime, I need to produce a document NOW, not work on the documentation for the tool to produce the document. Lesson: Please don't point to ghost documentation. If you have the time to produce something that you expect people to use, you need to make the time to explain how to use it. (Disclaimer: this doesn't apply to LyX itself, which is richly documented. Just to accessories to LyX and to open source generally.) -- Rich To all, what I'm about to write doesn't specifically to LyX, but as in Rich's disclaimer, it applies to the open source community in general. I totally understand Rich's frustrations, although he clearly states his comments about the ModernCV site do not apply to LyX. When I bought this Mac, it was more than I should have spent. I got into the open source programs, and encouraged others to do so. I no longer encourage others to use it. Myself, I'm slowly moving back to commercial software. A fair question is, why? There's no universal answer to the question. I'll just do some quick comments, and leave it at that. 1. Web pages make claims as to the abilities to do a job. But the software is buggy, or some features just don't work. 2. Some pages ask you to become involved, and file bugs. You do, and I did. But, after a year and a half, the bugs are not even assigned to anyone, much less fixed. One bug was assigned for awhile, but the assignment has been removed. Both are classed as minor. Well... They aren't minor to me!! If the developers don't/won't fix it, then: a. Why would I use the program? b. Why would I recommend the program? The program I filed the bugs with is one that wishes to take on a commercial program in the marketplace. And they add new features, some of which are inevitable buggy. But the attitude exhibited by not fixing existing bugs is very unprofessional. If you are a business, with competition, you want tools that work, not tools you spend a lot of time finding work arounds. 3. When the new version comes out, and the developers have broken
Re: why people give up on open source software
You do seem to have very strong opinions about open-source, and demand very high standards. Would you care to tell us how many open-source projects have you created or at least been an active developer in? On Wed, Oct 23, 2013 at 1:41 PM, Ken Springer <snowsh...@q.com> wrote: > I do, but that's no excuse for being nonprofessional in what you are > trying to do. Adding features while ignoring bugs is nonprofessional. > > I do have some "free" software installed, some open source, some not. But > I get updates and bug fixes from the "free" software, not so much from the > open source software in the way of bug fixes. > > > On 10/23/13 10:50 AM, Ernesto Posse wrote: > >> You do understand that a lot of open-source software, including LyX, is >> developed by *volunteers*, do you? >> >> >> On Wed, Oct 23, 2013 at 12:33 PM, Ken Springer <snowsh...@q.com >> <mailto:snowsh...@q.com>> wrote: >> >> On 10/22/13 10:19 PM, Richard Talley wrote: >> >> I originally picked up on LyX because I needed to produce some >> technical >> manuals quickly that looked good to management and that didn't >> make me >> deal with the WYSIWYG nightmares of Word and its ilk. >> >> LyX really came through for me. >> >> Now I'm helping a friend apply to graduate school. I used the >> KOMA-script v. 2 letter class to typeset his letter of intent. >> Looks good! >> >> Now on to the résumé. Let's see what's available. ModernCV looks >> good, >> under development for seven years. >> >> Except it won't accept last names much longer than the author's >> name >> without hyphenation. Searching produces lot's of hacks to deal >> with this. >> >> Run the example that comes with LyX. Note in example says, 'The >> moderncv >> class offers lots of customization possibilities; some are >> explained in >> the preamble of this document; for more information look at the >> documentation of the LaTeX-package moderncv.' >> >> Yeah, right. The README for moderncv is very short and includes >> this: >> 'Until a decent manual is written, you can always look in the >> "examples" >> directory for some examples. Documents can be compiled into dvi, >> ps or pdf.' >> >> The example LyX file points to documentation that doesn't actually >> exist. There is no 'more information'. Nothing is explained. >> Seven years >> of development and there's nothing that Aunt Tillie can use. >> >> I know what I'm going to hear, 'Do it yourself', 'That's how >> open source >> works'. I agree. Perhaps I'll find the time to work on the >> documentation. In the meantime, I need to produce a document >> NOW, not >> work on the documentation for the tool to produce the document. >> >> Lesson: Please don't point to ghost documentation. If you have >> the time >> to produce something that you expect people to use, you need to >> make the >> time to explain how to use it. >> >> (Disclaimer: this doesn't apply to LyX itself, which is richly >> documented. Just to accessories to LyX and to open source >> generally.) >> >> -- Rich >> >> >> To all, what I'm about to write doesn't specifically to LyX, but as >> in Rich's disclaimer, it applies to the open source community in >> general. >> >> I totally understand Rich's frustrations, although he clearly states >> his comments about the ModernCV site do not apply to LyX. >> >> >> When I bought this Mac, it was more than I should have spent. I got >> into the open source programs, and encouraged others to do so. >> >> I no longer encourage others to use it. Myself, I'm slowly moving >> back to commercial software. A fair question is, why? >> >> There's no universal answer to the question. I'll just do some >> quick comments, and leave it at that. >> >> 1. Web pages make claims as to the abilities to do a job. But the >> software is buggy, or some features just don't work. >> >> 2. Some pages ask you to become involved, and file bugs. You do, >> and I did. But, after a year and a half, the bugs are
Re: why people give up on open source software
You do understand that a lot of open-source software, including LyX, is developed by *volunteers*, do you? On Wed, Oct 23, 2013 at 12:33 PM, Ken Springer snowsh...@q.com wrote: On 10/22/13 10:19 PM, Richard Talley wrote: I originally picked up on LyX because I needed to produce some technical manuals quickly that looked good to management and that didn't make me deal with the WYSIWYG nightmares of Word and its ilk. LyX really came through for me. Now I'm helping a friend apply to graduate school. I used the KOMA-script v. 2 letter class to typeset his letter of intent. Looks good! Now on to the résumé. Let's see what's available. ModernCV looks good, under development for seven years. Except it won't accept last names much longer than the author's name without hyphenation. Searching produces lot's of hacks to deal with this. Run the example that comes with LyX. Note in example says, 'The moderncv class offers lots of customization possibilities; some are explained in the preamble of this document; for more information look at the documentation of the LaTeX-package moderncv.' Yeah, right. The README for moderncv is very short and includes this: 'Until a decent manual is written, you can always look in the examples directory for some examples. Documents can be compiled into dvi, ps or pdf.' The example LyX file points to documentation that doesn't actually exist. There is no 'more information'. Nothing is explained. Seven years of development and there's nothing that Aunt Tillie can use. I know what I'm going to hear, 'Do it yourself', 'That's how open source works'. I agree. Perhaps I'll find the time to work on the documentation. In the meantime, I need to produce a document NOW, not work on the documentation for the tool to produce the document. Lesson: Please don't point to ghost documentation. If you have the time to produce something that you expect people to use, you need to make the time to explain how to use it. (Disclaimer: this doesn't apply to LyX itself, which is richly documented. Just to accessories to LyX and to open source generally.) -- Rich To all, what I'm about to write doesn't specifically to LyX, but as in Rich's disclaimer, it applies to the open source community in general. I totally understand Rich's frustrations, although he clearly states his comments about the ModernCV site do not apply to LyX. When I bought this Mac, it was more than I should have spent. I got into the open source programs, and encouraged others to do so. I no longer encourage others to use it. Myself, I'm slowly moving back to commercial software. A fair question is, why? There's no universal answer to the question. I'll just do some quick comments, and leave it at that. 1. Web pages make claims as to the abilities to do a job. But the software is buggy, or some features just don't work. 2. Some pages ask you to become involved, and file bugs. You do, and I did. But, after a year and a half, the bugs are not even assigned to anyone, much less fixed. One bug was assigned for awhile, but the assignment has been removed. Both are classed as minor. Well... They aren't minor to me!! If the developers don't/won't fix it, then: a. Why would I use the program? b. Why would I recommend the program? The program I filed the bugs with is one that wishes to take on a commercial program in the marketplace. And they add new features, some of which are inevitable buggy. But the attitude exhibited by not fixing existing bugs is very unprofessional. If you are a business, with competition, you want tools that work, not tools you spend a lot of time finding work arounds. 3. When the new version comes out, and the developers have broken something, they say it's a regression. Oh, BS!! That's just political spin for not saying they screwed up and didn't catch it. I would appreciate the pure honesty of admitting a mistake than political spin. 4. My impression is, for most open source software I've tried over a period of time, the quality assurance/testing program to look for and find bugs is seriously flawed. Some bugs are blatant, and I ask myself, How did they miss that? So, the open source community, as a whole, has lost a supporter. And they have a long, long way to go if they want me to recommend them. That being said, I've started a small writing project, for fun for now. Part of the writing will be done in a commercial program. I will give LyX a try, 2.06 is installed, but haven't had time to start using it. -- Ken Mac OS X 10.8.5 Firefox 24.0 Thunderbird 17.0.8 LibreOffice 4.1.1.2 -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: why people give up on open source software
You do understand that a lot of open-source software, including LyX, is developed by *volunteers*, do you? On Wed, Oct 23, 2013 at 12:33 PM, Ken Springer snowsh...@q.com wrote: On 10/22/13 10:19 PM, Richard Talley wrote: I originally picked up on LyX because I needed to produce some technical manuals quickly that looked good to management and that didn't make me deal with the WYSIWYG nightmares of Word and its ilk. LyX really came through for me. Now I'm helping a friend apply to graduate school. I used the KOMA-script v. 2 letter class to typeset his letter of intent. Looks good! Now on to the résumé. Let's see what's available. ModernCV looks good, under development for seven years. Except it won't accept last names much longer than the author's name without hyphenation. Searching produces lot's of hacks to deal with this. Run the example that comes with LyX. Note in example says, 'The moderncv class offers lots of customization possibilities; some are explained in the preamble of this document; for more information look at the documentation of the LaTeX-package moderncv.' Yeah, right. The README for moderncv is very short and includes this: 'Until a decent manual is written, you can always look in the examples directory for some examples. Documents can be compiled into dvi, ps or pdf.' The example LyX file points to documentation that doesn't actually exist. There is no 'more information'. Nothing is explained. Seven years of development and there's nothing that Aunt Tillie can use. I know what I'm going to hear, 'Do it yourself', 'That's how open source works'. I agree. Perhaps I'll find the time to work on the documentation. In the meantime, I need to produce a document NOW, not work on the documentation for the tool to produce the document. Lesson: Please don't point to ghost documentation. If you have the time to produce something that you expect people to use, you need to make the time to explain how to use it. (Disclaimer: this doesn't apply to LyX itself, which is richly documented. Just to accessories to LyX and to open source generally.) -- Rich To all, what I'm about to write doesn't specifically to LyX, but as in Rich's disclaimer, it applies to the open source community in general. I totally understand Rich's frustrations, although he clearly states his comments about the ModernCV site do not apply to LyX. When I bought this Mac, it was more than I should have spent. I got into the open source programs, and encouraged others to do so. I no longer encourage others to use it. Myself, I'm slowly moving back to commercial software. A fair question is, why? There's no universal answer to the question. I'll just do some quick comments, and leave it at that. 1. Web pages make claims as to the abilities to do a job. But the software is buggy, or some features just don't work. 2. Some pages ask you to become involved, and file bugs. You do, and I did. But, after a year and a half, the bugs are not even assigned to anyone, much less fixed. One bug was assigned for awhile, but the assignment has been removed. Both are classed as minor. Well... They aren't minor to me!! If the developers don't/won't fix it, then: a. Why would I use the program? b. Why would I recommend the program? The program I filed the bugs with is one that wishes to take on a commercial program in the marketplace. And they add new features, some of which are inevitable buggy. But the attitude exhibited by not fixing existing bugs is very unprofessional. If you are a business, with competition, you want tools that work, not tools you spend a lot of time finding work arounds. 3. When the new version comes out, and the developers have broken something, they say it's a regression. Oh, BS!! That's just political spin for not saying they screwed up and didn't catch it. I would appreciate the pure honesty of admitting a mistake than political spin. 4. My impression is, for most open source software I've tried over a period of time, the quality assurance/testing program to look for and find bugs is seriously flawed. Some bugs are blatant, and I ask myself, How did they miss that? So, the open source community, as a whole, has lost a supporter. And they have a long, long way to go if they want me to recommend them. That being said, I've started a small writing project, for fun for now. Part of the writing will be done in a commercial program. I will give LyX a try, 2.06 is installed, but haven't had time to start using it. -- Ken Mac OS X 10.8.5 Firefox 24.0 Thunderbird 17.0.8 LibreOffice 4.1.1.2 -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: why people give up on open source software
You do understand that a lot of open-source software, including LyX, is developed by *volunteers*, do you? On Wed, Oct 23, 2013 at 12:33 PM, Ken Springer <snowsh...@q.com> wrote: > On 10/22/13 10:19 PM, Richard Talley wrote: > >> I originally picked up on LyX because I needed to produce some technical >> manuals quickly that looked good to management and that didn't make me >> deal with the WYSIWYG nightmares of Word and its ilk. >> >> LyX really came through for me. >> >> Now I'm helping a friend apply to graduate school. I used the >> KOMA-script v. 2 letter class to typeset his letter of intent. Looks good! >> >> Now on to the résumé. Let's see what's available. ModernCV looks good, >> under development for seven years. >> >> Except it won't accept last names much longer than the author's name >> without hyphenation. Searching produces lot's of hacks to deal with this. >> >> Run the example that comes with LyX. Note in example says, 'The moderncv >> class offers lots of customization possibilities; some are explained in >> the preamble of this document; for more information look at the >> documentation of the LaTeX-package moderncv.' >> >> Yeah, right. The README for moderncv is very short and includes this: >> 'Until a decent manual is written, you can always look in the "examples" >> directory for some examples. Documents can be compiled into dvi, ps or >> pdf.' >> >> The example LyX file points to documentation that doesn't actually >> exist. There is no 'more information'. Nothing is explained. Seven years >> of development and there's nothing that Aunt Tillie can use. >> >> I know what I'm going to hear, 'Do it yourself', 'That's how open source >> works'. I agree. Perhaps I'll find the time to work on the >> documentation. In the meantime, I need to produce a document NOW, not >> work on the documentation for the tool to produce the document. >> >> Lesson: Please don't point to ghost documentation. If you have the time >> to produce something that you expect people to use, you need to make the >> time to explain how to use it. >> >> (Disclaimer: this doesn't apply to LyX itself, which is richly >> documented. Just to accessories to LyX and to open source generally.) >> >> -- Rich >> > > To all, what I'm about to write doesn't specifically to LyX, but as in > Rich's disclaimer, it applies to the open source community in general. > > I totally understand Rich's frustrations, although he clearly states his > comments about the ModernCV site do not apply to LyX. > > > When I bought this Mac, it was more than I should have spent. I got into > the open source programs, and encouraged others to do so. > > I no longer encourage others to use it. Myself, I'm slowly moving back to > commercial software. A fair question is, why? > > There's no universal answer to the question. I'll just do some quick > comments, and leave it at that. > > 1. Web pages make claims as to the abilities to do a job. But the > software is buggy, or some features just don't work. > > 2. Some pages ask you to become involved, and file bugs. You do, and I > did. But, after a year and a half, the bugs are not even assigned to > anyone, much less fixed. One bug was assigned for awhile, but the > assignment has been removed. Both are classed as minor. Well... They > aren't minor to me!! If the developers don't/won't fix it, then: > > a. Why would I use the program? > b. Why would I recommend the program? > > The program I filed the bugs with is one that wishes to take on a > commercial program in the marketplace. And they add new features, some of > which are inevitable buggy. But the attitude exhibited by not fixing > existing bugs is very unprofessional. If you are a business, with > competition, you want tools that work, not tools you spend a lot of time > finding work arounds. > > 3. When the new version comes out, and the developers have broken > something, they say it's a "regression". Oh, BS!! That's just political > spin for not saying they screwed up and didn't catch it. I would > appreciate the pure honesty of admitting a mistake than political spin. > > 4. My impression is, for most open source software I've tried over a > period of time, the quality assurance/testing program to look for and find > bugs is seriously flawed. Some bugs are blatant, and I ask myself, "How > did they miss that?" > > > > So, the open source community, as a whole, has lost a supporter. And they > have a long, long way to go if they want me to recommend them. > > That being said, I've started a small writing project, for fun for now. > Part of the writing will be done in a commercial program. I will give LyX > a try, 2.06 is installed, but haven't had time to start using it. > > > -- > Ken > > Mac OS X 10.8.5 > Firefox 24.0 > Thunderbird 17.0.8 > LibreOffice 4.1.1.2 > > -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: Logic: Tableau Proofs
Hello. The easiest (and nicest) way to do this is using the tikz package:
in the preamble put
\usepackage{tikz}
and then, wherever you want the tableau, put in a TeX box the following:
\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}
child {node {$\{p \lor (p \land q), \neg p\}$}
child {node {$\{p\}$}}
child {node {$\{p \land q\}$}
child {node {$\{p,q\}$;
\end{tikzpicture}
Note that the structure of the tree depends on the grouping braces { ... }.
On Tue, Oct 22, 2013 at 12:04 PM, William Hanson whan...@umn.edu wrote:
Dear LyX Colleagues,
I'm trying to create tableau proofs, which are branching columns of text,
as illustrated in the attachment. Examples can also be found in Melvin
Fitting and Richard Mendelsohn, *First-Order Modal Logic*, Kluwer, 1998.
Any help will be appreciated.
Bill Hanson
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Logic: Tableau Proofs
Hello. The easiest (and nicest) way to do this is using the tikz package:
in the preamble put
\usepackage{tikz}
and then, wherever you want the tableau, put in a TeX box the following:
\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}
child {node {$\{p \lor (p \land q), \neg p\}$}
child {node {$\{p\}$}}
child {node {$\{p \land q\}$}
child {node {$\{p,q\}$;
\end{tikzpicture}
Note that the structure of the tree depends on the grouping braces { ... }.
On Tue, Oct 22, 2013 at 12:04 PM, William Hanson whan...@umn.edu wrote:
Dear LyX Colleagues,
I'm trying to create tableau proofs, which are branching columns of text,
as illustrated in the attachment. Examples can also be found in Melvin
Fitting and Richard Mendelsohn, *First-Order Modal Logic*, Kluwer, 1998.
Any help will be appreciated.
Bill Hanson
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Logic: Tableau Proofs
Hello. The easiest (and nicest) way to do this is using the tikz package:
in the preamble put
\usepackage{tikz}
and then, wherever you want the tableau, put in a TeX box the following:
\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$\{\neg ((p \lor (p \land q)) \limp p)\}$}
child {node {$\{p \lor (p \land q), \neg p\}$}
child {node {$\{p\}$}}
child {node {$\{p \land q\}$}
child {node {$\{p,q\}$;
\end{tikzpicture}
Note that the structure of the tree depends on the grouping braces { ... }.
On Tue, Oct 22, 2013 at 12:04 PM, William Hanson <whan...@umn.edu> wrote:
> Dear LyX Colleagues,
>
> I'm trying to create tableau proofs, which are branching columns of text,
> as illustrated in the attachment. Examples can also be found in Melvin
> Fitting and Richard Mendelsohn, *First-Order Modal Logic*, Kluwer, 1998.
> Any help will be appreciated.
>
> Bill Hanson
>
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Produce PDF/A in Lyx
Several years ago I had to go through the same thing and it was
painful. In the end, after asking around and insisting a bit, they
accepted a normal PDF if the thesis was generated with latex (they
somehow strangely assumed that everyone used MSWord). You might want
to ask in your university about this.
However there are tools out there to do this. The script in the
following link might work
http://www.cs.mcgill.ca/~kwysoc/hacks/#ps2pdfa
...but I haven't tried it.
What will work is to use Acrobat Pro/Distiller (not the free version).
Unfortunately those are *not* free tools.
Good luck.
On Wed, Sep 12, 2012 at 2:35 PM, mendy wenger wme...@gmail.com wrote:
Hi,
My university requires PDF/A format for thesis submissions. I have to submit
by tomorrow but unfortunately, it is turning out to be very difficult for me
to produce a PDF/A file in Lyx.
Does anyone know how to do so?
I am able to convert my PDF file to PDF/A by using Adobe, but then I lose
the hyperref features such as bookmarks and linked citations.
Within Lyx, I tried using xmpincl package but get an error such as:
! Undefined control sequence.
\xmpinclReadln -pdf:Producer\xmpProducer
/pdf:Producer
l.55 \includexmp{pdfa-1b}
I've also tried using the pdfx package, but then I get an error about:
! pdfTeX error (ext5): cannot open file for embedding.
l.137 ...eam attr{/N 4} file{sRGBIEC1966-2.1.icm}
even though I have placed that file in the folder.
Thanks,
Mendy
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Produce PDF/A in Lyx
Several years ago I had to go through the same thing and it was
painful. In the end, after asking around and insisting a bit, they
accepted a normal PDF if the thesis was generated with latex (they
somehow strangely assumed that everyone used MSWord). You might want
to ask in your university about this.
However there are tools out there to do this. The script in the
following link might work
http://www.cs.mcgill.ca/~kwysoc/hacks/#ps2pdfa
...but I haven't tried it.
What will work is to use Acrobat Pro/Distiller (not the free version).
Unfortunately those are *not* free tools.
Good luck.
On Wed, Sep 12, 2012 at 2:35 PM, mendy wenger wme...@gmail.com wrote:
Hi,
My university requires PDF/A format for thesis submissions. I have to submit
by tomorrow but unfortunately, it is turning out to be very difficult for me
to produce a PDF/A file in Lyx.
Does anyone know how to do so?
I am able to convert my PDF file to PDF/A by using Adobe, but then I lose
the hyperref features such as bookmarks and linked citations.
Within Lyx, I tried using xmpincl package but get an error such as:
! Undefined control sequence.
\xmpinclReadln -pdf:Producer\xmpProducer
/pdf:Producer
l.55 \includexmp{pdfa-1b}
I've also tried using the pdfx package, but then I get an error about:
! pdfTeX error (ext5): cannot open file for embedding.
l.137 ...eam attr{/N 4} file{sRGBIEC1966-2.1.icm}
even though I have placed that file in the folder.
Thanks,
Mendy
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Produce PDF/A in Lyx
Several years ago I had to go through the same thing and it was
painful. In the end, after asking around and insisting a bit, they
accepted a normal PDF if the thesis was generated with latex (they
somehow strangely assumed that everyone used MSWord). You might want
to ask in your university about this.
However there are tools out there to do this. The script in the
following link might work
http://www.cs.mcgill.ca/~kwysoc/hacks/#ps2pdfa
...but I haven't tried it.
What will work is to use Acrobat Pro/Distiller (not the free version).
Unfortunately those are *not* free tools.
Good luck.
On Wed, Sep 12, 2012 at 2:35 PM, mendy wenger <wme...@gmail.com> wrote:
> Hi,
> My university requires PDF/A format for thesis submissions. I have to submit
> by tomorrow but unfortunately, it is turning out to be very difficult for me
> to produce a PDF/A file in Lyx.
> Does anyone know how to do so?
>
> I am able to convert my PDF file to PDF/A by using Adobe, but then I lose
> the hyperref features such as bookmarks and linked citations.
>
> Within Lyx, I tried using xmpincl package but get an error such as:
> ! Undefined control sequence.
>
> \xmpinclReadln ->\xmpProducer
>
>
>
> l.55 \includexmp{pdfa-1b}
>
>
> I've also tried using the pdfx package, but then I get an error about:
> ! pdfTeX error (ext5): cannot open file for embedding.
>
> l.137 ...eam attr{/N 4} file{sRGBIEC1966-2.1.icm}
>
>
> even though I have placed that file in the folder.
>
>
> Thanks,
>
> Mendy
>
>
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Vectors in bold
You can try writing the following in the preamble:
\renewcommand{\vec}[1]{\ensuremath{\mathbf{#1}}}
On Tue, Aug 28, 2012 at 8:19 AM, Merhebi, Bob bobmerh...@gmail.com wrote:
Hello there,
I am writing this technical book; so far I've been using the overhead
vectors to represent vectors, but now I changed my mind want to
represent vectors in bold.
Is it possible to make the change for all previous representations in
one go?
And is the easiest way to do the bold thing with the Ctrl+B or is there
an easier way?
Thanks
--
Sincerely Yours,
-Merhebi, Bob
Thunderbird Signature
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Vectors in bold
You can try writing the following in the preamble:
\renewcommand{\vec}[1]{\ensuremath{\mathbf{#1}}}
On Tue, Aug 28, 2012 at 8:19 AM, Merhebi, Bob bobmerh...@gmail.com wrote:
Hello there,
I am writing this technical book; so far I've been using the overhead
vectors to represent vectors, but now I changed my mind want to
represent vectors in bold.
Is it possible to make the change for all previous representations in
one go?
And is the easiest way to do the bold thing with the Ctrl+B or is there
an easier way?
Thanks
--
Sincerely Yours,
-Merhebi, Bob
Thunderbird Signature
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Vectors in bold
You can try writing the following in the preamble:
\renewcommand{\vec}[1]{\ensuremath{\mathbf{#1}}}
On Tue, Aug 28, 2012 at 8:19 AM, Merhebi, Bob <bobmerh...@gmail.com> wrote:
> Hello there,
>
> I am writing this technical book; so far I've been using the overhead
> vectors to represent vectors, but now I changed my mind & want to
> represent vectors in bold.
>
> Is it possible to make the change for all previous representations in
> one go?
>
> And is the easiest way to do the bold thing with the Ctrl+B or is there
> an easier way?
>
> Thanks
>
> --
> Sincerely Yours,
> -Merhebi, Bob
>
> Thunderbird Signature
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Mostly successful experiment: LyX - LaTeX - Word using pandoc
I tried it on Ubuntu and got similar results, generating .docx (viewed on LibreOffice) and html. Pandoc seems to ignore the TOC and bibliography though. On HTML it also ignored the title, author and abstract fields. On LibreOffice the math was rendered more or less OK, but some symbols were missing. The real problem though, was with labels and references. Labels were translated directly as text (e.g., [sub:section-title]) and references as well, treating normal and formatted references differently and badly in both cases. The tool seems promising, but without proper support for labels, references and bibliography, it still cannot be used for heavy duty. On Wed, Aug 8, 2012 at 2:13 AM, Jerry lancebo...@qwest.net wrote: I just tried a quick experiment with pandoc, saving a 3.5 page LyX document (article class) of mostly lorem ipsum as LaTeX and then using pandoc to convert that to .docx, Word's XML format. I then viewed the .docx in Microsoft Word 2011 for OS X (Macintosh). More specifically, my LyX document contained a title, author, date, address (city, state, country), abstract, three sections wherein the second second section had two subsections. Also, there were three display equations two of which were numbered and one inline equation. using the command pandoc -o /output/file /input/file with no options (pandoc has lots of options) then viewing the result in Word, my first impression was, Hey, it worked! The output was displayed in what must be the default theme, Office. Title and author were displayed as was the abstract. Date and address were lost. (Address and date were entered as such in LyX--if they had been e.g. Standard they probably would have passed through.) Sections and subsections appeared to be recognized (I'm not a Word expert); they were not numbered but appeared in different fonts and/or colors depending on their level. Equations were correctly converted **and were editable in Word 2011's built-in equation editor**. (As far as I know this is _not_ Equation Edit or its big brother MathType, but a new Microsoft equation editor in this version of Word--at least it is integrated in the program and does not launch an external editor.) However, equation numbers were lost. The loss of section and subsection numbers might be fixed with a Word setting or theme choice. The loss of equation numbers might be fixed by choosing a pandoc option--I have not investigated this further yet. Pandoc claims to convert only a subset of LaTeX. Paragraphs were not indented but were separated by a suitable space. Again, this might be a theme choice but is no doubt fixable by other means such as a ruler setting. (I realize that even in LaTeX this is a theme setting too.) When I saved the .docx to .doc, things looked pretty much the same except that equations were rendered as bitmaps and the display equations were left-justified (where they had been centered in .docx.) For this simple test I was pretty happy with the results, especially .docx. But again, it was a pretty simple LyX file and I haven't tried a LyX file with a more sophisticated structure, graphics, TOC, or bibliography. I would encourage others to try pandoc and report their results. pandoc is here: http://johnmacfarlane.net/pandoc/ I had an installation issue with the OS X installer that is probably unique to my computer and the author, John MacFarlane, helped me promptly once I posted a ticket. Jerry -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: Mostly successful experiment: LyX - LaTeX - Word using pandoc
I tried it on Ubuntu and got similar results, generating .docx (viewed on LibreOffice) and html. Pandoc seems to ignore the TOC and bibliography though. On HTML it also ignored the title, author and abstract fields. On LibreOffice the math was rendered more or less OK, but some symbols were missing. The real problem though, was with labels and references. Labels were translated directly as text (e.g., [sub:section-title]) and references as well, treating normal and formatted references differently and badly in both cases. The tool seems promising, but without proper support for labels, references and bibliography, it still cannot be used for heavy duty. On Wed, Aug 8, 2012 at 2:13 AM, Jerry lancebo...@qwest.net wrote: I just tried a quick experiment with pandoc, saving a 3.5 page LyX document (article class) of mostly lorem ipsum as LaTeX and then using pandoc to convert that to .docx, Word's XML format. I then viewed the .docx in Microsoft Word 2011 for OS X (Macintosh). More specifically, my LyX document contained a title, author, date, address (city, state, country), abstract, three sections wherein the second second section had two subsections. Also, there were three display equations two of which were numbered and one inline equation. using the command pandoc -o /output/file /input/file with no options (pandoc has lots of options) then viewing the result in Word, my first impression was, Hey, it worked! The output was displayed in what must be the default theme, Office. Title and author were displayed as was the abstract. Date and address were lost. (Address and date were entered as such in LyX--if they had been e.g. Standard they probably would have passed through.) Sections and subsections appeared to be recognized (I'm not a Word expert); they were not numbered but appeared in different fonts and/or colors depending on their level. Equations were correctly converted **and were editable in Word 2011's built-in equation editor**. (As far as I know this is _not_ Equation Edit or its big brother MathType, but a new Microsoft equation editor in this version of Word--at least it is integrated in the program and does not launch an external editor.) However, equation numbers were lost. The loss of section and subsection numbers might be fixed with a Word setting or theme choice. The loss of equation numbers might be fixed by choosing a pandoc option--I have not investigated this further yet. Pandoc claims to convert only a subset of LaTeX. Paragraphs were not indented but were separated by a suitable space. Again, this might be a theme choice but is no doubt fixable by other means such as a ruler setting. (I realize that even in LaTeX this is a theme setting too.) When I saved the .docx to .doc, things looked pretty much the same except that equations were rendered as bitmaps and the display equations were left-justified (where they had been centered in .docx.) For this simple test I was pretty happy with the results, especially .docx. But again, it was a pretty simple LyX file and I haven't tried a LyX file with a more sophisticated structure, graphics, TOC, or bibliography. I would encourage others to try pandoc and report their results. pandoc is here: http://johnmacfarlane.net/pandoc/ I had an installation issue with the OS X installer that is probably unique to my computer and the author, John MacFarlane, helped me promptly once I posted a ticket. Jerry -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: Mostly successful experiment: LyX -> LaTeX -> Word using pandoc
I tried it on Ubuntu and got similar results, generating .docx (viewed on LibreOffice) and html. Pandoc seems to ignore the TOC and bibliography though. On HTML it also ignored the title, author and abstract fields. On LibreOffice the math was rendered more or less OK, but some symbols were missing. The real problem though, was with labels and references. Labels were translated directly as text (e.g., [sub:section-title]) and references as well, treating normal and formatted references differently and badly in both cases. The tool seems promising, but without proper support for labels, references and bibliography, it still cannot be used for "heavy duty". On Wed, Aug 8, 2012 at 2:13 AM, Jerry <lancebo...@qwest.net> wrote: > I just tried a quick experiment with pandoc, saving a 3.5 page LyX document > (article class) of mostly lorem ipsum as LaTeX and then using pandoc to > convert that to .docx, Word's XML format. I then viewed the .docx in > Microsoft Word 2011 for OS X (Macintosh). > > More specifically, my LyX document contained a title, author, date, address > (city, state, country), abstract, three sections wherein the second second > section had two subsections. Also, there were three display equations two of > which were numbered and one inline equation. > > using the command pandoc -o /output/file /input/file with no options (pandoc > has lots of options) then viewing the result in Word, my first impression > was, Hey, it worked! > > The output was displayed in what must be the default theme, Office. Title and > author were displayed as was the abstract. Date and address were lost. > (Address and date were entered as such in LyX--if they had been e.g. Standard > they probably would have passed through.) Sections and subsections appeared > to be recognized (I'm not a Word expert); they were not numbered but appeared > in different fonts and/or colors depending on their level. Equations were > correctly converted **and were editable in Word 2011's built-in equation > editor**. (As far as I know this is _not_ Equation Edit or its big brother > MathType, but a new Microsoft equation editor in this version of Word--at > least it is integrated in the program and does not launch an external > editor.) However, equation numbers were lost. > > The loss of section and subsection numbers might be fixed with a Word setting > or theme choice. The loss of equation numbers might be fixed by choosing a > pandoc option--I have not investigated this further yet. Pandoc claims to > convert only a subset of LaTeX. > > Paragraphs were not indented but were separated by a suitable space. Again, > this might be a theme choice but is no doubt fixable by other means such as a > ruler setting. (I realize that even in LaTeX this is a "theme" setting too.) > > When I saved the .docx to .doc, things looked pretty much the same except > that equations were rendered as bitmaps and the display equations were > left-justified (where they had been centered in .docx.) > > For this simple test I was pretty happy with the results, especially .docx. > But again, it was a pretty simple LyX file and I haven't tried a LyX file > with a more sophisticated structure, graphics, TOC, or bibliography. I would > encourage others to try pandoc and report their results. > > pandoc is here: http://johnmacfarlane.net/pandoc/ > > I had an installation issue with the OS X installer that is probably unique > to my computer and the author, John MacFarlane, helped me promptly once I > posted a ticket. > > Jerry -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: How to add vertical space in a table?
On Thu, Dec 8, 2011 at 2:14 PM, Chi chipro...@gmail.com wrote:
Phil philip_148 at yahoo.com writes:
Try adding a row to the table and then removing the borders on that row.
From: Chi chipro007 at gmail.comTo: lyx-users at lists.lyx.org
Sent: Thursday, December 8, 2011 12:00 PMSubject: How to add vertical space in
a table?
Hi all,does anyone know how to add vertical space between two rows in a table
(withoutchanging the vertical spacing for tables in general)?Thanks,C
I had tried that but the result is too large a gap (and I don't know how to
adjust row height). However, I just found one solution: add an ERT with
\vspace{}. Any nicer solutions?
Have you tried right-clicking on the table and then
More...-Settings...-Border and playing around with the options
under Additional space?
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: How to add vertical space in a table?
On Thu, Dec 8, 2011 at 2:14 PM, Chi chipro...@gmail.com wrote:
Phil philip_148 at yahoo.com writes:
Try adding a row to the table and then removing the borders on that row.
From: Chi chipro007 at gmail.comTo: lyx-users at lists.lyx.org
Sent: Thursday, December 8, 2011 12:00 PMSubject: How to add vertical space in
a table?
Hi all,does anyone know how to add vertical space between two rows in a table
(withoutchanging the vertical spacing for tables in general)?Thanks,C
I had tried that but the result is too large a gap (and I don't know how to
adjust row height). However, I just found one solution: add an ERT with
\vspace{}. Any nicer solutions?
Have you tried right-clicking on the table and then
More...-Settings...-Border and playing around with the options
under Additional space?
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: How to add vertical space in a table?
On Thu, Dec 8, 2011 at 2:14 PM, Chi <chipro...@gmail.com> wrote:
> Phil yahoo.com> writes:
>
>>
>>
>> Try adding a row to the table and then removing the borders on that row.
>> From: Chi gmail.com>To: lyx-users lists.lyx.org
> Sent: Thursday, December 8, 2011 12:00 PMSubject: How to add vertical space in
>> a table?
>> Hi all,does anyone know how to add vertical space between two rows in a table
> (withoutchanging the vertical spacing for tables in general)?Thanks,C
>>
>
> I had tried that but the result is too large a gap (and I don't know how to
> adjust row height). However, I just found one solution: add an ERT with
> \vspace{}. Any nicer solutions?
>
>
Have you tried right-clicking on the table and then
"More...->Settings...->Border" and playing around with the options
under "Additional space"?
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
lyx/beamer double-space text bug?
I have a little problem with beamer but I'm not sure if it is a bug. I
want to have an untitled frame with some large text in it, centered
and double-spaced, but when compiling I get this error: (see minimal
lyx file attached)
! Undefined control sequence.
\doublespacing ...stretch {1.667}\ifcase \@ptsize
\relax \setstretch {1.667}...
l.55 \lyxframeend
{}\lyxframe{Normal slide title}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.
! Missing number, treated as zero.
to be read again
\relax
l.55 \lyxframeend
{}\lyxframe{Normal slide title}
A number should have been here; I inserted `0'.
(If you can't figure out why I needed to see a number,
look up `weird error' in the index to The TeXbook.)
Is it a bug? if so, is it LyX or beamer? If not, what is the problem?
Thanks.
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
test.lyx
Description: application/lyx
lyx/beamer double-space text bug?
I have a little problem with beamer but I'm not sure if it is a bug. I
want to have an untitled frame with some large text in it, centered
and double-spaced, but when compiling I get this error: (see minimal
lyx file attached)
! Undefined control sequence.
\doublespacing ...stretch {1.667}\ifcase \@ptsize
\relax \setstretch {1.667}...
l.55 \lyxframeend
{}\lyxframe{Normal slide title}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.
! Missing number, treated as zero.
to be read again
\relax
l.55 \lyxframeend
{}\lyxframe{Normal slide title}
A number should have been here; I inserted `0'.
(If you can't figure out why I needed to see a number,
look up `weird error' in the index to The TeXbook.)
Is it a bug? if so, is it LyX or beamer? If not, what is the problem?
Thanks.
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
test.lyx
Description: application/lyx
lyx/beamer double-space text bug?
I have a little problem with beamer but I'm not sure if it is a bug. I
want to have an untitled frame with some large text in it, centered
and double-spaced, but when compiling I get this error: (see minimal
lyx file attached)
! Undefined control sequence.
\doublespacing ...stretch {1.667}\ifcase \@ptsize
\relax \setstretch {1.667}...
l.55 \lyxframeend
{}\lyxframe{Normal slide title}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.
! Missing number, treated as zero.
\relax
l.55 \lyxframeend
{}\lyxframe{Normal slide title}
A number should have been here; I inserted `0'.
(If you can't figure out why I needed to see a number,
look up `weird error' in the index to The TeXbook.)
Is it a bug? if so, is it LyX or beamer? If not, what is the problem?
Thanks.
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
test.lyx
Description: application/lyx
Re: Chain rule tree diagram
On Thu, Nov 3, 2011 at 1:37 PM, Paul Smith phh...@gmail.com wrote:
Dear All,
Is there some way of drawing in a LyX document a chain rule diagram?
Please, see an example of what I am wanting at:
http://tutorial.math.lamar.edu/Classes/CalcIII/ChainRule_files/image001.gif
Thanks in advance,
Paul
While there is no direct way of doing that in lyx, there are useful
alternatives. My favourite is the XY-pic package
(http://www.tug.org/applications/Xy-pic/), which is useful for all
kinds of diagrams.
To use it you need to install XY-pic (the 'xy' latex package), and in
LyX, in the preamble (Documents-Settings-LaTeX preamble) you should
write
\usepackage[all]{xy}
\newcommand{\pd}[2]{\frac{\partial #1}{\partial #2}} %this line is
only for your specific diagram
Then in the body, you create an ERT box (Ctrl-L) and inside you can
put the following:
\[
\xymatrix{
z \ar@{-}[dll]_{\pd{z}{x}} \ar@{-}[drr]^{\pd{z}{y}} \\
x \ar@{-}[dl]_{\pd{x}{s}} \ar@{-}[dr]^{\pd{x}{t}} y
\ar@{-}[dl]_{\pd{y}{s}} \ar@{-}[dr]^{\pd{y}{t}}\\
s t s t \\
}
\]
A first look at this might seem daunting, but once you read the xy
user's guide it will seem quite straight-forward.
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Chain rule tree diagram
On Thu, Nov 3, 2011 at 1:37 PM, Paul Smith phh...@gmail.com wrote:
Dear All,
Is there some way of drawing in a LyX document a chain rule diagram?
Please, see an example of what I am wanting at:
http://tutorial.math.lamar.edu/Classes/CalcIII/ChainRule_files/image001.gif
Thanks in advance,
Paul
While there is no direct way of doing that in lyx, there are useful
alternatives. My favourite is the XY-pic package
(http://www.tug.org/applications/Xy-pic/), which is useful for all
kinds of diagrams.
To use it you need to install XY-pic (the 'xy' latex package), and in
LyX, in the preamble (Documents-Settings-LaTeX preamble) you should
write
\usepackage[all]{xy}
\newcommand{\pd}[2]{\frac{\partial #1}{\partial #2}} %this line is
only for your specific diagram
Then in the body, you create an ERT box (Ctrl-L) and inside you can
put the following:
\[
\xymatrix{
z \ar@{-}[dll]_{\pd{z}{x}} \ar@{-}[drr]^{\pd{z}{y}} \\
x \ar@{-}[dl]_{\pd{x}{s}} \ar@{-}[dr]^{\pd{x}{t}} y
\ar@{-}[dl]_{\pd{y}{s}} \ar@{-}[dr]^{\pd{y}{t}}\\
s t s t \\
}
\]
A first look at this might seem daunting, but once you read the xy
user's guide it will seem quite straight-forward.
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Chain rule tree diagram
On Thu, Nov 3, 2011 at 1:37 PM, Paul Smith <phh...@gmail.com> wrote:
> Dear All,
>
> Is there some way of drawing in a LyX document a chain rule diagram?
> Please, see an example of what I am wanting at:
>
> http://tutorial.math.lamar.edu/Classes/CalcIII/ChainRule_files/image001.gif
>
> Thanks in advance,
>
> Paul
>
While there is no direct way of doing that in lyx, there are useful
alternatives. My favourite is the XY-pic package
(http://www.tug.org/applications/Xy-pic/), which is useful for all
kinds of diagrams.
To use it you need to install XY-pic (the 'xy' latex package), and in
LyX, in the preamble (Documents->Settings->LaTeX preamble) you should
write
\usepackage[all]{xy}
\newcommand{\pd}[2]{\frac{\partial #1}{\partial #2}} %this line is
only for your specific diagram
Then in the body, you create an ERT box (Ctrl-L) and inside you can
put the following:
\[
\xymatrix{
& & & z \ar@{-}[dll]_{\pd{z}{x}} \ar@{-}[drr]^{\pd{z}{y}} & & & \\
& x \ar@{-}[dl]_{\pd{x}{s}} \ar@{-}[dr]^{\pd{x}{t}} & & & & y
\ar@{-}[dl]_{\pd{y}{s}} \ar@{-}[dr]^{\pd{y}{t}} & \\
s & & t & & s & & t \\
}
\]
A first look at this might seem daunting, but once you read the xy
user's guide it will seem quite straight-forward.
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: Suscripción
2011/9/22 Arnold FERNÁNDEZ RIVAS arnoldfi...@gmail.com: Hola LyX, deseo adherirme a la lita de usuarios. Espero que con este mail sea suficiente. Saludos. Para adherirse a la lista, envíe un mensaje vacío a lyx-users-subscr...@lists.lyx.org. Por cierto, el lenguaje de la lista es el inglés. -- Vicepresidente de la Comunidad de Software Libre de la Universidad Nacional del Callao - UNACINUX. http://csl.unac.edu.pe Miembro de Comité Directivo de la Escuela Profesional de Ingeniería Ambiental y de Recursos Naturales de la UNAC -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: Suscripción
2011/9/22 Arnold FERNÁNDEZ RIVAS arnoldfi...@gmail.com: Hola LyX, deseo adherirme a la lita de usuarios. Espero que con este mail sea suficiente. Saludos. Para adherirse a la lista, envíe un mensaje vacío a lyx-users-subscr...@lists.lyx.org. Por cierto, el lenguaje de la lista es el inglés. -- Vicepresidente de la Comunidad de Software Libre de la Universidad Nacional del Callao - UNACINUX. http://csl.unac.edu.pe Miembro de Comité Directivo de la Escuela Profesional de Ingeniería Ambiental y de Recursos Naturales de la UNAC -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: Suscripción
2011/9/22 Arnold FERNÁNDEZ RIVAS <arnoldfi...@gmail.com>: > Hola LyX, deseo adherirme a la lita de usuarios. Espero que con este mail > sea suficiente. Saludos. Para adherirse a la lista, envíe un mensaje vacío a lyx-users-subscr...@lists.lyx.org. Por cierto, el lenguaje de la lista es el inglés. > > -- > > > Vicepresidente de la Comunidad de Software Libre de la Universidad Nacional > del Callao - UNACINUX. > > http://csl.unac.edu.pe > > Miembro de Comité Directivo de la Escuela Profesional de Ingeniería > Ambiental y de Recursos Naturales de la UNAC > > > -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: submitting paper in latex (tex) format
On Tue, Aug 23, 2011 at 10:28 PM, Waluyo Adi Siswanto was.u...@gmail.com wrote: Hi all, I am writing a paper manuscript in lyx. Unfortunately only latex (tex) format is accepted by the journal publisher. I have tried to export to latex(pdflatex), then successfully created paper.tex I tested the created tex file and compile using this command: pdflatex paper.tex It created paper.pdf. however, when I opened this generated pdf file all links including citations were shown as [?]. Does it mean I cannot submit this paper.tex. Anyone has experience to submit a tex format paper, prepared in LyX? Any tips please? When compiling a .tex file you typically have to run latex (or pdflatex) a couple of times because these programs make only one pass through the source .tex file. You also have to run bibtex to generate the bibliography. Normally the following sequence of commands should work (in this order, and assuming you have a proper .bib file referenced in your .tex file): pdflatex paper.tex bibtex paper pdflatex paper.tex pdflatex paper.tex (The last one may not be necessary, but it doesn't hurt). After these, the citations should appear correctly. Thanks in advance for any information. regards waluyo -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: submitting paper in latex (tex) format
On Tue, Aug 23, 2011 at 10:28 PM, Waluyo Adi Siswanto was.u...@gmail.com wrote: Hi all, I am writing a paper manuscript in lyx. Unfortunately only latex (tex) format is accepted by the journal publisher. I have tried to export to latex(pdflatex), then successfully created paper.tex I tested the created tex file and compile using this command: pdflatex paper.tex It created paper.pdf. however, when I opened this generated pdf file all links including citations were shown as [?]. Does it mean I cannot submit this paper.tex. Anyone has experience to submit a tex format paper, prepared in LyX? Any tips please? When compiling a .tex file you typically have to run latex (or pdflatex) a couple of times because these programs make only one pass through the source .tex file. You also have to run bibtex to generate the bibliography. Normally the following sequence of commands should work (in this order, and assuming you have a proper .bib file referenced in your .tex file): pdflatex paper.tex bibtex paper pdflatex paper.tex pdflatex paper.tex (The last one may not be necessary, but it doesn't hurt). After these, the citations should appear correctly. Thanks in advance for any information. regards waluyo -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: submitting paper in latex (tex) format
On Tue, Aug 23, 2011 at 10:28 PM, Waluyo Adi Siswanto <was.u...@gmail.com> wrote: > Hi all, > > I am writing a paper manuscript in lyx. > Unfortunately only latex (tex) format is accepted by the journal publisher. > > I have tried to export to latex(pdflatex), then successfully created paper.tex > > I tested the created tex file and compile using this command: pdflatex > paper.tex > It created paper.pdf. however, when I opened this generated pdf file > all links including citations were shown as [?]. > Does it mean I cannot submit this paper.tex. > > Anyone has experience to submit a tex format paper, prepared in LyX? > Any tips please? When compiling a .tex file you typically have to run latex (or pdflatex) a couple of times because these programs make only one pass through the source .tex file. You also have to run bibtex to generate the bibliography. Normally the following sequence of commands should work (in this order, and assuming you have a proper .bib file referenced in your .tex file): pdflatex paper.tex bibtex paper pdflatex paper.tex pdflatex paper.tex (The last one may not be necessary, but it doesn't hurt). After these, the citations should appear correctly. > > Thanks in advance for any information. > > regards > waluyo > -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: Horizontal Scrollbar Again!!!
I'll add a +1 here. Editing wide tables without an horizontal scroll bar is a major, major pain. Is there a place in the wiki for suggested features, a wish list? On Tue, Jul 26, 2011 at 10:03 PM, Kortink, Mark A mark.a.kort...@team.telstra.com wrote: I know the purists think a horizontal scrollbar is somehow impure but can we please please get one. It is not currently possible to:- Write long equation sequences inline in a proof when you want to keep the proof short and not taking up multiple lines. Do xypic diagrams with anything sophisticated in the cells. Do matrices with anything sophisticated in the cells. There is nothing illegitamate about any of these requirements. The solution that would make the purists happy would be to at least allow a horizontal scrollbar in maths mode. Mark Mark Kortink Chief Architect - Information Corporate Systems Information Corporate Systems Architecture | Architecture | Architecture, Online Media – Telstra Operations PHONE 02 8576 6804 | MOBILE 0419 574 881 EMAIL mailto:mark.a.kort...@team.telstra.com | WEB http://www.telstra.com.au/ 13/400 George St, Sydney, NSW 2000 Covers:- Data Architecture. Reporting Analysis including Data Warehouses. Corporate Systems including Finance Administration, Human Resources, Purchasing, Logistics, Legal, Regulatory Property. This communication may contain confidential or copyright information of Telstra Corporation Limited (ABN 33 051 775 556). If you are not an intended recipient, you must not keep, forward, copy, use, save or rely on this communication, and any such action is unauthorised and prohibited. If you have received this communication in error, please reply to this email to notify the sender of its incorrect delivery, and then delete both it and your reply. -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: Horizontal Scrollbar Again!!!
I'll add a +1 here. Editing wide tables without an horizontal scroll bar is a major, major pain. Is there a place in the wiki for suggested features, a wish list? On Tue, Jul 26, 2011 at 10:03 PM, Kortink, Mark A mark.a.kort...@team.telstra.com wrote: I know the purists think a horizontal scrollbar is somehow impure but can we please please get one. It is not currently possible to:- Write long equation sequences inline in a proof when you want to keep the proof short and not taking up multiple lines. Do xypic diagrams with anything sophisticated in the cells. Do matrices with anything sophisticated in the cells. There is nothing illegitamate about any of these requirements. The solution that would make the purists happy would be to at least allow a horizontal scrollbar in maths mode. Mark Mark Kortink Chief Architect - Information Corporate Systems Information Corporate Systems Architecture | Architecture | Architecture, Online Media – Telstra Operations PHONE 02 8576 6804 | MOBILE 0419 574 881 EMAIL mailto:mark.a.kort...@team.telstra.com | WEB http://www.telstra.com.au/ 13/400 George St, Sydney, NSW 2000 Covers:- Data Architecture. Reporting Analysis including Data Warehouses. Corporate Systems including Finance Administration, Human Resources, Purchasing, Logistics, Legal, Regulatory Property. This communication may contain confidential or copyright information of Telstra Corporation Limited (ABN 33 051 775 556). If you are not an intended recipient, you must not keep, forward, copy, use, save or rely on this communication, and any such action is unauthorised and prohibited. If you have received this communication in error, please reply to this email to notify the sender of its incorrect delivery, and then delete both it and your reply. -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: Horizontal Scrollbar Again!!!
I'll add a +1 here. Editing wide tables without an horizontal scroll bar is a major, major pain. Is there a place in the wiki for suggested features, a wish list? On Tue, Jul 26, 2011 at 10:03 PM, Kortink, Mark A <mark.a.kort...@team.telstra.com> wrote: > I know the purists think a horizontal scrollbar is somehow impure but can we > please please get one. It is not currently possible to:- > > Write long equation sequences inline in a proof when you want to keep the > proof short and not taking up multiple lines. > Do xypic diagrams with anything sophisticated in the cells. > Do matrices with anything sophisticated in the cells. > > There is nothing illegitamate about any of these requirements. The solution > that would make the purists happy would be to at least allow a horizontal > scrollbar in maths mode. > Mark > Mark Kortink Chief Architect - Information & Corporate Systems > Information & Corporate Systems Architecture | Architecture | Architecture, > Online & Media – Telstra Operations > PHONE 02 8576 6804 | MOBILE 0419 574 881 > EMAIL mailto:mark.a.kort...@team.telstra.com | WEB > http://www.telstra.com.au/ > 13/400 George St, Sydney, NSW 2000 > Covers:- > Data Architecture. > Reporting & Analysis including Data Warehouses. > Corporate Systems including Finance & Administration, Human Resources, > Purchasing, Logistics, Legal, Regulatory & Property. > This communication may contain confidential or copyright information of > Telstra Corporation Limited (ABN 33 051 775 556). If you are not an intended > recipient, you must not keep, forward, copy, use, save or rely on this > communication, and any such action is unauthorised and prohibited. If you > have received this communication in error, please reply to this email to > notify the sender of its incorrect delivery, and then delete both it and > your reply. > > > -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
bug in nested case environment?
I ran into a problem with nested cases (caseenv). I want to write something like this: Case 1: a 1. b Case 1: c Case 2: d 2. e Case 2: f where there are sub-cases in the list. The enumerated list and sub-cases are nested in the lyx document (see attached). However, the output I get is: Case 1: a 1. b Case 1: c Case 2: d 2. e Case 3: f Apparently the case counter from the outer list is the same as the one for the inner list! Checking the generated latex, the nesting of environments is correct. Is this a bug? -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada a.lyx Description: application/lyx
bug in nested case environment?
I ran into a problem with nested cases (caseenv). I want to write something like this: Case 1: a 1. b Case 1: c Case 2: d 2. e Case 2: f where there are sub-cases in the list. The enumerated list and sub-cases are nested in the lyx document (see attached). However, the output I get is: Case 1: a 1. b Case 1: c Case 2: d 2. e Case 3: f Apparently the case counter from the outer list is the same as the one for the inner list! Checking the generated latex, the nesting of environments is correct. Is this a bug? -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada a.lyx Description: application/lyx
bug in nested case environment?
I ran into a problem with nested cases (caseenv). I want to write something like this: Case 1: a 1. b Case 1: c Case 2: d 2. e Case 2: f where there are sub-cases in the list. The enumerated list and sub-cases are nested in the lyx document (see attached). However, the output I get is: Case 1: a 1. b Case 1: c Case 2: d 2. e Case 3: f Apparently the case counter from the outer list is the same as the one for the inner list! Checking the generated latex, the nesting of environments is correct. Is this a bug? -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada a.lyx Description: application/lyx
cross-reference to an enumerated item within a theorem
Hi. Is there a way to do the following? Suppose I have a Proposition
environment and the text is something like this
Proposition 3 [pro:some-label] The following holds:
1. [enu:item1] something
2. [enu:item2] other
and later on I want references to show, for example as:
... by Proposition 3(2)
Currently I use a Formatted reference for the first part and an
un-formatted reference for the second:
... by [Formatted ref: pro:some-label]([Ref: enu:item2])
or in plain LaTeX (with prettyref)
... by \prettyref{pro:some-label}(\ref{enu:item2})
This is a bit cumbersome. Since enu:item2 is inside the Proposition
environment, would it be possible to infer the label pro:some-label
associated with that environment to create a format in prettyref so
that referring only to the individual item, so that it gives you the
full reference, i.e. something like
... by [Formatted ref: enu-item2]
yields
... by Proposition 3(2)
?
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
cross-reference to an enumerated item within a theorem
Hi. Is there a way to do the following? Suppose I have a Proposition
environment and the text is something like this
Proposition 3 [pro:some-label] The following holds:
1. [enu:item1] something
2. [enu:item2] other
and later on I want references to show, for example as:
... by Proposition 3(2)
Currently I use a Formatted reference for the first part and an
un-formatted reference for the second:
... by [Formatted ref: pro:some-label]([Ref: enu:item2])
or in plain LaTeX (with prettyref)
... by \prettyref{pro:some-label}(\ref{enu:item2})
This is a bit cumbersome. Since enu:item2 is inside the Proposition
environment, would it be possible to infer the label pro:some-label
associated with that environment to create a format in prettyref so
that referring only to the individual item, so that it gives you the
full reference, i.e. something like
... by [Formatted ref: enu-item2]
yields
... by Proposition 3(2)
?
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
cross-reference to an enumerated item within a theorem
Hi. Is there a way to do the following? Suppose I have a "Proposition"
environment and the text is something like this
Proposition 3 [pro:some-label] The following holds:
1. [enu:item1] something
2. [enu:item2] other
and later on I want references to show, for example as:
"... by Proposition 3(2)"
Currently I use a Formatted reference for the first part and an
un-formatted reference for the second:
"... by [Formatted ref: pro:some-label]([Ref: enu:item2])"
or in plain LaTeX (with prettyref)
"... by \prettyref{pro:some-label}(\ref{enu:item2})"
This is a bit cumbersome. Since enu:item2 is inside the Proposition
environment, would it be possible to infer the label pro:some-label
associated with that environment to create a format in prettyref so
that referring only to the individual item, so that it gives you the
full reference, i.e. something like
"... by [Formatted ref: enu-item2]"
yields
"... by Proposition 3(2)"
?
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: How to type a text over arrow?
The first link from Diego's search shows the LaTeX way to do it.
In LyX, open a math box (e.g. ctrl-M) and type
l \xrightarrow{g,s,r,u} l'
On Mon, May 16, 2011 at 12:46 PM, Yegor Yefremov
yegorsli...@googlemail.com wrote:
Hi Diego,
thanks. I don't how I searched for this topic, but I found nothing valuable
:-)
Yegor
On Mon, May 16, 2011 at 1:55 PM, Diego Queiroz queiroz.di...@gmail.com
wrote:
Try this:
http://lmgtfy.com/?q=text+over+arrow+latexl=1
Take care,
---
Diego Queiroz
On Mon, May 16, 2011 at 4:26 AM, Yegor Yefremov
yegorsli...@googlemail.com wrote:
Hello,
I want to type the formula like in the attached image (formula.jpg).
Haw can I do this with LyX/LaTeX? As for now I'm using LyX 1.6.5.
Regards,
Yegor
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: How to type a text over arrow?
The first link from Diego's search shows the LaTeX way to do it.
In LyX, open a math box (e.g. ctrl-M) and type
l \xrightarrow{g,s,r,u} l'
On Mon, May 16, 2011 at 12:46 PM, Yegor Yefremov
yegorsli...@googlemail.com wrote:
Hi Diego,
thanks. I don't how I searched for this topic, but I found nothing valuable
:-)
Yegor
On Mon, May 16, 2011 at 1:55 PM, Diego Queiroz queiroz.di...@gmail.com
wrote:
Try this:
http://lmgtfy.com/?q=text+over+arrow+latexl=1
Take care,
---
Diego Queiroz
On Mon, May 16, 2011 at 4:26 AM, Yegor Yefremov
yegorsli...@googlemail.com wrote:
Hello,
I want to type the formula like in the attached image (formula.jpg).
Haw can I do this with LyX/LaTeX? As for now I'm using LyX 1.6.5.
Regards,
Yegor
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: How to type a text over arrow?
The first link from Diego's search shows the LaTeX way to do it.
In LyX, open a math box (e.g. ctrl-M) and type
l \xrightarrow{g,s,r,u} l'
On Mon, May 16, 2011 at 12:46 PM, Yegor Yefremov
<yegorsli...@googlemail.com> wrote:
> Hi Diego,
>
> thanks. I don't how I searched for this topic, but I found nothing valuable
> :-)
>
> Yegor
>
> On Mon, May 16, 2011 at 1:55 PM, Diego Queiroz <queiroz.di...@gmail.com>
> wrote:
>> Try this:
>>
>> http://lmgtfy.com/?q=text+over+arrow+latex=1
>>
>>
>> Take care,
>> ---
>> Diego Queiroz
>>
>>
>>
>>
>> On Mon, May 16, 2011 at 4:26 AM, Yegor Yefremov
>> <yegorsli...@googlemail.com> wrote:
>>> Hello,
>>>
>>> I want to type the formula like in the attached image (formula.jpg).
>>> Haw can I do this with LyX/LaTeX? As for now I'm using LyX 1.6.5.
>>>
>>> Regards,
>>> Yegor
>>>
>>
>
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
Re: how to stop annoying screen jumps?
I have noticed a similar problem when editing tables, specially tables that contain formulas. Whenever I have a table with many rows and math formulas inside, and only part of the table is visible in the writing area, if the cursor is outside the table, and I click inside a math formula, the focus changes, and LyX rearranges the view so that the row where I clicked goes to (near) the top of the writing area (sometimes to the bottom). Actually this happens also when I click in some cell without a math formula, but not always for some reason. I find this extremely annoying, as I have to do this sort of editing very often so I get the text bouncing around. So my questions are: 1) is this a bug, or by design? 2) if by design, what is the reason for this behaviour? 3) Is there anyway to make LyX stop doing this? (I'm using lyx 1.6.7 on Ubuntu 10.10) Thanks. On Tue, Feb 8, 2011 at 3:56 PM, Pavel Sanda sa...@lyx.org wrote: John wrote: Has anyone else had this problem? yes Is there a fix? it should be fixed in newer versions. pavel -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: how to stop annoying screen jumps?
I have noticed a similar problem when editing tables, specially tables that contain formulas. Whenever I have a table with many rows and math formulas inside, and only part of the table is visible in the writing area, if the cursor is outside the table, and I click inside a math formula, the focus changes, and LyX rearranges the view so that the row where I clicked goes to (near) the top of the writing area (sometimes to the bottom). Actually this happens also when I click in some cell without a math formula, but not always for some reason. I find this extremely annoying, as I have to do this sort of editing very often so I get the text bouncing around. So my questions are: 1) is this a bug, or by design? 2) if by design, what is the reason for this behaviour? 3) Is there anyway to make LyX stop doing this? (I'm using lyx 1.6.7 on Ubuntu 10.10) Thanks. On Tue, Feb 8, 2011 at 3:56 PM, Pavel Sanda sa...@lyx.org wrote: John wrote: Has anyone else had this problem? yes Is there a fix? it should be fixed in newer versions. pavel -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: how to stop annoying screen jumps?
I have noticed a similar problem when editing tables, specially tables that contain formulas. Whenever I have a table with many rows and math formulas inside, and only part of the table is visible in the writing area, if the cursor is outside the table, and I click inside a math formula, the focus changes, and LyX rearranges the view so that the row where I clicked goes to (near) the top of the writing area (sometimes to the bottom). Actually this happens also when I click in some cell without a math formula, but not always for some reason. I find this extremely annoying, as I have to do this sort of editing very often so I get the text bouncing around. So my questions are: 1) is this a bug, or by design? 2) if by design, what is the reason for this behaviour? 3) Is there anyway to make LyX stop doing this? (I'm using lyx 1.6.7 on Ubuntu 10.10) Thanks. On Tue, Feb 8, 2011 at 3:56 PM, Pavel Sanda <sa...@lyx.org> wrote: > John wrote: >> Has anyone else had this problem? > > yes > >>Is there a fix? > > it should be fixed in newer versions. > > pavel > -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Table editing UI and math mode
Hi. I have an issue with the user interface in editing math inside large tables. Whenever I have a table with many rows and math formulas inside, and only part of the table is visible in the writing area, if the cursor is outside the table, and I click inside a math formula, the focus changes, and LyX rearranges the view so that the row where I clicked goes to (near) the top of the writing area (sometimes to the bottom). Actually this happens also when I click in some cell without a math formula, but not always for some reason. I find this extremely annoying, as I have to do this sort of editing very often so I get the text bouncing around. So my questions are: 1) is this a bug, or by design? 2) if by design, what is the reason for this behaviour? 3) Is there anyway to make LyX stop doing this? Thanks I'm using LyX 1.6.7 on Ubuntu 10.10. -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Table editing UI and math mode
Hi. I have an issue with the user interface in editing math inside large tables. Whenever I have a table with many rows and math formulas inside, and only part of the table is visible in the writing area, if the cursor is outside the table, and I click inside a math formula, the focus changes, and LyX rearranges the view so that the row where I clicked goes to (near) the top of the writing area (sometimes to the bottom). Actually this happens also when I click in some cell without a math formula, but not always for some reason. I find this extremely annoying, as I have to do this sort of editing very often so I get the text bouncing around. So my questions are: 1) is this a bug, or by design? 2) if by design, what is the reason for this behaviour? 3) Is there anyway to make LyX stop doing this? Thanks I'm using LyX 1.6.7 on Ubuntu 10.10. -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Table editing UI and math mode
Hi. I have an issue with the user interface in editing math inside large tables. Whenever I have a table with many rows and math formulas inside, and only part of the table is visible in the writing area, if the cursor is outside the table, and I click inside a math formula, the focus changes, and LyX rearranges the view so that the row where I clicked goes to (near) the top of the writing area (sometimes to the bottom). Actually this happens also when I click in some cell without a math formula, but not always for some reason. I find this extremely annoying, as I have to do this sort of editing very often so I get the text bouncing around. So my questions are: 1) is this a bug, or by design? 2) if by design, what is the reason for this behaviour? 3) Is there anyway to make LyX stop doing this? Thanks I'm using LyX 1.6.7 on Ubuntu 10.10. -- Ernesto Posse Modelling and Analysis in Software Engineering School of Computing Queen's University - Kingston, Ontario, Canada
Re: lyx not finding a style file that latex finds !?
On Fri, Oct 23, 2009 at 06:42 AM, Guenter Milde wrote: On 2009-10-23, rgheck wrote: On 10/22/2009 08:01 PM, Ernesto Posse wrote: On 10/15/2009 08:36 PM, Ernesto Posse wrote: I have some very strange behaviour in LyX. I have a simple latex style file (mystyle.sty) which is located in a directory mylatexfiles. latex knows about this: I have export TEXINPUTS=mylatexfiles: in my bash login[...]. ... I've given the full path, and I still have the same issue. It should work with the full *absolute* path. LyX runs the latex conversion in a temporary directory, so a relative path will not work. I used export TEXINPUTS=~/Setup/mytexmf/tex/latex: which is supposed to be expanded to an absolute path. How come TeX from the command line finds it but TeX invoked by LyX does not find it? Does it work if you start LyX from an x-terminal? The bash login file is not read at X-startup. and if you just click on a LyX icon lyx does not see your login environment variables. Right, I figured out that, so I changed the TEXMFHOME variable in /etc/texmf/texmf.d/05TeXMF.cnf file (I don't like the default ~/texmf), then I ran sudo update-texmf and I ran sudo texhash, as well as mktexlsr in my texmf tree which created the ls-R file. Running sudo texconfig confirmed the new value for TEXMFHOME. I reconfigured LyX, and rebooted. Now it works, but I don't like the fact that I had to update central (non-user-specific) files to do this. Is there any way I could have my own TEXMFHOME, different than ~/texmf without having to modify any system-wide files? Günter Thanks -- Ernesto Posse Applied Formal Methods Group - Software Technology Lab School of Computing Queen's University - Kingston, Ontario, Canada
Re: lyx not finding a style file that latex finds !?
On Fri, Oct 23, 2009 at 06:42 AM, Guenter Milde wrote: On 2009-10-23, rgheck wrote: On 10/22/2009 08:01 PM, Ernesto Posse wrote: On 10/15/2009 08:36 PM, Ernesto Posse wrote: I have some very strange behaviour in LyX. I have a simple latex style file (mystyle.sty) which is located in a directory mylatexfiles. latex knows about this: I have export TEXINPUTS=mylatexfiles: in my bash login[...]. ... I've given the full path, and I still have the same issue. It should work with the full *absolute* path. LyX runs the latex conversion in a temporary directory, so a relative path will not work. I used export TEXINPUTS=~/Setup/mytexmf/tex/latex: which is supposed to be expanded to an absolute path. How come TeX from the command line finds it but TeX invoked by LyX does not find it? Does it work if you start LyX from an x-terminal? The bash login file is not read at X-startup. and if you just click on a LyX icon lyx does not see your login environment variables. Right, I figured out that, so I changed the TEXMFHOME variable in /etc/texmf/texmf.d/05TeXMF.cnf file (I don't like the default ~/texmf), then I ran sudo update-texmf and I ran sudo texhash, as well as mktexlsr in my texmf tree which created the ls-R file. Running sudo texconfig confirmed the new value for TEXMFHOME. I reconfigured LyX, and rebooted. Now it works, but I don't like the fact that I had to update central (non-user-specific) files to do this. Is there any way I could have my own TEXMFHOME, different than ~/texmf without having to modify any system-wide files? Günter Thanks -- Ernesto Posse Applied Formal Methods Group - Software Technology Lab School of Computing Queen's University - Kingston, Ontario, Canada
Re: lyx not finding a style file that latex finds !?
On Fri, Oct 23, 2009 at 06:42 AM, Guenter Milde wrote: >On 2009-10-23, rgheck wrote: >> On 10/22/2009 08:01 PM, Ernesto Posse wrote: >>>> On 10/15/2009 08:36 PM, Ernesto Posse wrote: > >>>>> I have some very strange behaviour in LyX. I have a simple latex style >>>>> file (mystyle.sty) which is located in a directory "mylatexfiles". >>>>> latex knows about this: I have "export TEXINPUTS=mylatexfiles:" in my >>>>> bash login[...]. > >... > >>> I've given the full path, and I still have the same issue. > >It should work with the full *absolute* path. LyX runs the latex >conversion in a temporary directory, so a relative path will not work. I used export TEXINPUTS=~/Setup/mytexmf/tex/latex: which is supposed to be expanded to an absolute path. >>> How come TeX from the command line finds it but TeX invoked by LyX >>> does not find it? > >Does it work if you start LyX from an x-terminal? The bash login file >is not read at X-startup. and if you just click on a LyX icon lyx does >not see your login environment variables. Right, I figured out that, so I changed the TEXMFHOME variable in /etc/texmf/texmf.d/05TeXMF.cnf file (I don't like the default ~/texmf), then I ran sudo update-texmf and I ran sudo texhash, as well as mktexlsr in my texmf tree which created the ls-R file. Running sudo texconfig confirmed the new value for TEXMFHOME. I reconfigured LyX, and rebooted. Now it works, but I don't like the fact that I had to update central (non-user-specific) files to do this. Is there any way I could have my own TEXMFHOME, different than ~/texmf without having to modify any system-wide files? >Günter Thanks -- Ernesto Posse Applied Formal Methods Group - Software Technology Lab School of Computing Queen's University - Kingston, Ontario, Canada
Re: lyx not finding a style file that latex finds !?
On 10/15/2009 08:36 PM, Ernesto Posse wrote: I have some very strange behaviour in LyX. I have a simple latex style file (mystyle.sty) which is located in a directory mylatexfiles. latex knows about this: I have export TEXINPUTS=mylatexfiles: in my bash login[...]. If it's exactly like that, then I believe TeX is searching for ./mylatexfiles/, which will depend upon the working directory. So, if it is like that, try giving the complete path to this directory. rh I've given the full path, and I still have the same issue. How come TeX from the command line finds it but TeX invoked by LyX does not find it? Thanks -- Ernesto Posse Applied Formal Methods Group - Software Technology Lab School of Computing Queen's University - Kingston, Ontario, Canada
Re: lyx not finding a style file that latex finds !?
On 10/15/2009 08:36 PM, Ernesto Posse wrote: I have some very strange behaviour in LyX. I have a simple latex style file (mystyle.sty) which is located in a directory mylatexfiles. latex knows about this: I have export TEXINPUTS=mylatexfiles: in my bash login[...]. If it's exactly like that, then I believe TeX is searching for ./mylatexfiles/, which will depend upon the working directory. So, if it is like that, try giving the complete path to this directory. rh I've given the full path, and I still have the same issue. How come TeX from the command line finds it but TeX invoked by LyX does not find it? Thanks -- Ernesto Posse Applied Formal Methods Group - Software Technology Lab School of Computing Queen's University - Kingston, Ontario, Canada
Re: lyx not finding a style file that latex finds !?
> On 10/15/2009 08:36 PM, Ernesto Posse wrote: > > I have some very strange behaviour in LyX. I have a simple latex style > > file (mystyle.sty) which is located in a directory "mylatexfiles". > > latex knows about this: I have "export TEXINPUTS=mylatexfiles:" in my > > bash login[...]. > > If it's exactly like that, then I believe TeX is searching for > ./mylatexfiles/, which will depend upon the working directory. So, if it is > like that, try giving the complete path to this directory. > > rh I've given the full path, and I still have the same issue. How come TeX from the command line finds it but TeX invoked by LyX does not find it? Thanks -- Ernesto Posse Applied Formal Methods Group - Software Technology Lab School of Computing Queen's University - Kingston, Ontario, Canada
lyx not finding a style file that latex finds !?
I have some very strange behaviour in LyX. I have a simple latex style
file (mystyle.sty) which is located in a directory mylatexfiles.
latex knows about this: I have export TEXINPUTS=mylatexfiles: in my
bash login and I've done sudo texhash. When I run a simple test with
pure latex (\usepackage{mystyle}) it compiles it correctly. However
when I try to compile it from LyX it says an empty outpus file was
generated' and then Latex Error: File `mystyle.sty' not found. This
has happened even after I reconfigured LyX.
How is it that latex has no problem finding my style file but LyX does?
PS: I'm running LyX 1.6.2 on Ubuntu 9.04 with texlive
--
Ernesto Posse
Applied Formal Methods Group - Software Technology Lab
School of Computing
Queen's University - Kingston, Ontario, Canada
lyx not finding a style file that latex finds !?
I have some very strange behaviour in LyX. I have a simple latex style
file (mystyle.sty) which is located in a directory mylatexfiles.
latex knows about this: I have export TEXINPUTS=mylatexfiles: in my
bash login and I've done sudo texhash. When I run a simple test with
pure latex (\usepackage{mystyle}) it compiles it correctly. However
when I try to compile it from LyX it says an empty outpus file was
generated' and then Latex Error: File `mystyle.sty' not found. This
has happened even after I reconfigured LyX.
How is it that latex has no problem finding my style file but LyX does?
PS: I'm running LyX 1.6.2 on Ubuntu 9.04 with texlive
--
Ernesto Posse
Applied Formal Methods Group - Software Technology Lab
School of Computing
Queen's University - Kingston, Ontario, Canada
lyx not finding a style file that latex finds !?
I have some very strange behaviour in LyX. I have a simple latex style
file (mystyle.sty) which is located in a directory "mylatexfiles".
latex knows about this: I have "export TEXINPUTS=mylatexfiles:" in my
bash login and I've done "sudo texhash". When I run a simple test with
pure latex (\usepackage{mystyle}) it compiles it correctly. However
when I try to compile it from LyX it says "an empty outpus file was
generated"' and then "Latex Error: File `mystyle.sty' not found." This
has happened even after I reconfigured LyX.
How is it that latex has no problem finding my style file but LyX does?
PS: I'm running LyX 1.6.2 on Ubuntu 9.04 with texlive
--
Ernesto Posse
Applied Formal Methods Group - Software Technology Lab
School of Computing
Queen's University - Kingston, Ontario, Canada
custom layout -- possible bug?
Hello. I'm having a bit of an issue with a custom layout I'm trying to
create for ACM SIG proceedings (from the sig-alternate.cls available
at http://www.acm.org/sigs/publications/proceedings-templates)
First I'm creating a layoutfile named sig-alternate.layout and
placed it under my layouts directory. The file contains the following:
--- begin of sig-alternate.layout ---
#% Do not delete the line below; configure depends on this
# \DeclareLaTeXClass[sig-alternate]{sig-alternate}
Format 11
Input stdclass.inc
--- end of sig-alternate.layout ---
And I create a sample file (test.lyx) with this layout. Then I
generate plain latex from it and this is what I obtain:
--- begin of test.tex ---
%% LyX 1.6.1 created this file. For more info, see http://www.lyx.org/.
%% Do not edit unless you really know what you are doing.
\documentclass[english]{article}
\usepackage[T1]{fontenc}
\usepackage[latin9]{inputenc}
\usepackage{babel}
\begin{document}
\title{Blah blah}
\author{Me}
\maketitle
Something...
\end{document}
--- end of test.tex ---
The problem is that the first line has the wrong class (article)! Am I
doing something wrong? Why doesn't the generated latex begin with this
\documentclass{sig-alternate}?
Thanks.
PS: I'm running lyx 1.6.1 on ubuntu.
--
Ernesto Posse
Applied Formal Methods Group - Software Technology Lab
School of Computing
Queen's University - Kingston, Ontario, Canada
