On 2023-02-03 01:18, Richard Kimberly Heck wrote:
On 2/2/23 17:31, Jean-Marc Lasgouttes wrote:
Le 02/02/2023 à 23:12, Daniel a écrit :
The problem is when the depencies/exclusion graph contains
furstrated loops. Something like
- one has B, which provides feature "foo"
- want to insert A, whic
On 2/2/23 17:31, Jean-Marc Lasgouttes wrote:
Le 02/02/2023 à 23:12, Daniel a écrit :
The problem is when the depencies/exclusion graph contains
furstrated loops. Something like
- one has B, which provides feature "foo"
- want to insert A, which requires C
- C is incompatible with B
- of course
Le 02/02/2023 à 23:12, Daniel a écrit :
The problem is when the depencies/exclusion graph contains furstrated
loops. Something like
- one has B, which provides feature "foo"
- want to insert A, which requires C
- C is incompatible with B
- of course the solution is to install D instead of B, be
On 2023-02-02 22:26, Jean-Marc Lasgouttes wrote:
Le 02/02/2023 à 17:42, Daniel a écrit :
If I understood it correctly, the case is:
- Want to add: A
- Already added: C, D
- A depends on B
- B excludes C
- C depends on D
LyX suggests: Add B and remove C? [Yes] [No]
But probably it is the imple
Le 02/02/2023 à 17:42, Daniel a écrit :
If I understood it correctly, the case is:
- Want to add: A
- Already added: C, D
- A depends on B
- B excludes C
- C depends on D
LyX suggests: Add B and remove C? [Yes] [No]
But probably it is the implementation that would be the issue.
The problem i
On 2023-02-02 17:29, Richard Kimberly Heck wrote:
On 2/2/23 08:49, Daniel wrote:
Some modules exclude other modules. I took this to be a symmetric
relationship. However, for example, compare
AMS Theorems:
"Modules excluded: Standard Theorems and Standard Theorems (Unnumbered)."
and
AMS Theo
On 2/2/23 08:49, Daniel wrote:
Some modules exclude other modules. I took this to be a symmetric
relationship. However, for example, compare
AMS Theorems:
"Modules excluded: Standard Theorems and Standard Theorems (Unnumbered)."
and
AMS Theorems (Numbered by Type):
"Modules excluded: Standa
