Re: [sage-devel] Re: Help with matroids (and more generally?), PR #36492

2023-11-21 Thread Dima Pasechnik
This is about a  recent (2018?) generalisation of oriented matroids. Do we have 
anything about the usual oriented matroids?


On 22 November 2023 04:25:34 GMT, 'Travis Scrimshaw' via sage-devel 
 wrote:
>Hi John,
>   None of the above. I think maintaining good programming practices is 
>important for the codebase and it is a good thing to teach contributors who 
>might not understand. Hence, we should spend the time having them get it 
>into a format that is acceptable for Sage. In the end, it should play nice 
>with the current matroid code, but I don't think that is a requirement for 
>a new feature.
>
>Best,
>Travis
>
>On Wednesday, November 22, 2023 at 8:27:31 AM UTC+9 John H Palmieri wrote:
>
>> This post concerns https://github.com/sagemath/sage/pull/36492. The main 
>> topic of that PR is matroids about which I know almost nothing, so I am not 
>> the right person to review it. The structure of the PR perhaps opens up 
>> broader questions. The author has some new code, along with a PDF 
>> documenting it, and it is currently not designed to be incorporated into 
>> the existing sage.matroids module, but as more of a standalone piece of 
>> code.
>>
>> - Should we have a "contrib" directory where we can easily include efforts 
>> like this?
>> - Should this particular code be instead included in our thematic 
>> tutorials? (If so, it needs someone to shepherd it through the process.)
>> - Or should this code be folded into the existing `sage.matroids` stuff?
>>
>> -- 
>> John
>>
>>
>
>-- 
>You received this message because you are subscribed to the Google Groups 
>"sage-devel" group.
>To unsubscribe from this group and stop receiving emails from it, send an 
>email to sage-devel+unsubscr...@googlegroups.com.
>To view this discussion on the web visit 
>https://groups.google.com/d/msgid/sage-devel/9e9e36be-68d2-4771-b5a3-1527321f673bn%40googlegroups.com.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/6818C672-81A0-4224-B0F6-F3919884D555%40gmail.com.


[sage-devel] Re: Help with matroids (and more generally?), PR #36492

2023-11-21 Thread 'Travis Scrimshaw' via sage-devel
Hi John,
   None of the above. I think maintaining good programming practices is 
important for the codebase and it is a good thing to teach contributors who 
might not understand. Hence, we should spend the time having them get it 
into a format that is acceptable for Sage. In the end, it should play nice 
with the current matroid code, but I don't think that is a requirement for 
a new feature.

Best,
Travis

On Wednesday, November 22, 2023 at 8:27:31 AM UTC+9 John H Palmieri wrote:

> This post concerns https://github.com/sagemath/sage/pull/36492. The main 
> topic of that PR is matroids about which I know almost nothing, so I am not 
> the right person to review it. The structure of the PR perhaps opens up 
> broader questions. The author has some new code, along with a PDF 
> documenting it, and it is currently not designed to be incorporated into 
> the existing sage.matroids module, but as more of a standalone piece of 
> code.
>
> - Should we have a "contrib" directory where we can easily include efforts 
> like this?
> - Should this particular code be instead included in our thematic 
> tutorials? (If so, it needs someone to shepherd it through the process.)
> - Or should this code be folded into the existing `sage.matroids` stuff?
>
> -- 
> John
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/9e9e36be-68d2-4771-b5a3-1527321f673bn%40googlegroups.com.


[sage-devel] Help with matroids (and more generally?), PR #36492

2023-11-21 Thread John H Palmieri
This post concerns https://github.com/sagemath/sage/pull/36492. The main 
topic of that PR is matroids about which I know almost nothing, so I am not 
the right person to review it. The structure of the PR perhaps opens up 
broader questions. The author has some new code, along with a PDF 
documenting it, and it is currently not designed to be incorporated into 
the existing sage.matroids module, but as more of a standalone piece of 
code.

- Should we have a "contrib" directory where we can easily include efforts 
like this?
- Should this particular code be instead included in our thematic 
tutorials? (If so, it needs someone to shepherd it through the process.)
- Or should this code be folded into the existing `sage.matroids` stuff?

-- 
John

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/fb6eea67-444c-4408-95e0-66119a535e11n%40googlegroups.com.


[sage-devel] Generators of a number field

2023-11-21 Thread enriqu...@gmail.com
I encountered an issue which can be easily solved interactively but it may 
give problems inside code:
sage: F = CyclotomicField(4, 'b')
sage: R = PolynomialRing(F, 'x, b')
sage: u, v = R.gens()
sage: f = v^2 - u
sage: f0 = f.subs({u:1})
sage: f1 = F[v](f0)
Related to this, I discovered number_field_elements_from_algebraics
which is useful to constuct a number field (abstract or embedded) in QQbar 
from a finite set of algebraic numbers. There are several options but I saw 
no way to change the name of the primitif element ('a') we may produce 
errors as above. 
It seems it is not difficult to add an optional keyword to choose this name.
Best, Enrique.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/09ccda7a-b774-4e01-89c8-02fac1821821n%40googlegroups.com.


Re: [sage-devel] Sage 9.5 won't launch nor install (any version ? ) on debian testing/sid and ubuntu 23.10

2023-11-21 Thread Laurent Bakri
Hi there, 
A few words to say that conda/mamba method  was working nicely and give me 
a working sage on each machines. 
Now I will look on a possible way (if any) to bypass  the 'conda activate 
sage ' and make this version available  from anywhere. 
Best regards, 
Laurent

Le mercredi 8 novembre 2023 à 15:26:33 UTC+1, Laurent Bakri a écrit :

> Thanks for your answers I think I tried  10.1 and that also tried with 
> conda but I will investigate the lasts remarks.  (PATH and ubuntu's method 
> to build) 
> Regards, 
> Laurent
> Le mardi 7 novembre 2023 à 15:59:12 UTC+1, Dima Pasechnik a écrit :
>
>> On Tue, Nov 7, 2023 at 12:56 PM Dima Pasechnik  wrote: 
>> > 
>> > 
>> > 
>> > On Tue, 7 Nov 2023, 12:01 Laurent Bakri,  wrote: 
>> >> 
>> >> Hi all, 
>> >> 
>> >> I am using Debian Testing (now "Sid" because I was wondering if it 
>> could help; it doesn't) and Ubuntu (23.10). Since a recent (a few months 
>> ago?) upgrade of Singular, SageMath won't launch on my Debian machines 
>> (laptop and desktop) or on my recently upgraded Ubuntu. I'm encountering 
>> the following error: 
>> >> 
>> >> Error in sys.excepthook: Traceback (most recent call last): File 
>> "/usr/lib/python3.11/pathlib.py", line 1251, in is_dir return 
>> S_ISDIR(self.stat().st_mode) ^ AttributeError: 'str' object has no 
>> attribute 'stat' See the file debug-launching-sage.log. 
>> > 
>> > 
>> > we don't do packaging of SageMath for Debian, 
>> > so that's not for us to fix. 
>> > 
>> >> So I tried to install Sage from source on my Debian desktop, but it 
>> won't compile because it fails to build Brial (something related to 
>> libboost, if I understand correctly): 
>> > 
>> > 
>> > what version of SageMath are you trying to build? 
>> > You might need a recent, 10.1, or 10.2.rc0, 
>> > if you're on Debian Testing. 
>> > 
>> > 
>> > 
>> >> "/../libbrial/include/polybori/common/traits.h:26:10: fatal error: 
>> boost/preprocessor/cat.hpp: No such file or directory 26 | #include 
>>  
>> > 
>> > 
>> > looks like you need boost's headers installed. Run 
>> > 
>> > sudo apt install libboost-dev 
>> >> 
>> >> I'm not sure which direction I should take now. Historically, it has 
>> been easy because there were some "vanilla" binaries available for Linux. 
>> Currently, I am limited to using Sage 9.2, which, if I understand 
>> correctly, is the last version that comes with a "generic" compiled 
>> version. 
>> > 
>> > 
>> > if you don't want to compile Sage yourself you'd e.g. use Conda route 
>> to install and run Sage: 
>> > 
>> > 
>> https://doc.sagemath.org/html/en/installation/conda.html#sec-installation-conda
>>  
>>
>> On the other hand I see in your PATH: 
>>
>> PATH: /home/laurent/mambaforge/bin/ 
>> PATH: /home/laurent/mambaforge/condabin/ 
>> PATH: /home/laurent/.config/guix/current/bin/ 
>> PATH: /usr/local/bin/ 
>> PATH: /usr/bin/ 
>>
>> which means you have potentially a lot of way to shoot yourself in the 
>> foot while trying to build Sage from the source. Unless you have there 
>> things you want to use for building Sage, sanitise 
>> your PATH before trying to build from source. 
>>
>>
>>
>>
>> > 
>> > HTH. 
>> > 
>> > 
>> >> Any help would be greatly appreciated. 
>> >> 
>> >> Regards, 
>> >> 
>> >> Laurent 
>> >> 
>> >> -- 
>> >> You received this message because you are subscribed to the Google 
>> Groups "sage-devel" group. 
>> >> To unsubscribe from this group and stop receiving emails from it, send 
>> an email to sage-devel+...@googlegroups.com. 
>> >> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/6f76bb3b-974c-4c96-82c9-4720bfe924a8n%40googlegroups.com.
>>  
>>
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/3595557f-6c4b-4f07-822f-7ab974d9ff85n%40googlegroups.com.