Nils Bruin wrote:
> I think the only choice (if any) is to match the occurrence of a name
> in the smallest ring.
>
> If your generic code is relying on coercion in a setting where name
> matching like this is relevant, I suspect it's almost certainly the
> wrong choice.
I think we agree. To clar
Nils Bruin wrote:
> I don't think that for any non-trivial applications generic code is
> going to perform properly for both exact and non-exact base rings, but
> actually the equality choice that has been made, allows the heuristic
> approach: start with very high precision or double the precision
Hi,
I just noticed that Sage unconditionally changes the permissions of the
DOT_SAGE directory to rwx--- even after the user manually modified them
(sage/misc/misc.py, l. 92ff). It seems to me however that there are
perfectly valid reasons to share one's .sage with other users. Worse,
Sage cras
Michael Orlitzky wrote:
> This is the right way to do it. The user/system already has UMASK set
> to something generally acceptable. When you create a sensitive file,
> you mask more permission bits, create the file, and then revert the
> umask. After that, you leave everything alone.
Ok, thank yo
Just in case it may be useful to somebody else, here is a vim config
snippet for copy-pasting examples and doctests to the sage repl.
(Improvements welcome!)
function! YankSageTest(type, ...)
if a:0
let lines = getline("'<", "'>")
else
let lines = getline("'[", "']")
Is it expected that ARB_LIBRARY is set to 'arb' (as opposed to
'flint-arb') on a Debian box where Sage links against the system
arb?
The linker complains about not finding -larb when I try to build
an external cython module that uses sage.rings.complex_arb. And
indeed, it should have looked for -l
Sébastien Labbé wrote:
> Should I understand that it filters out the output? Can you tell how
> you use it?
It only works linewise, and is mapped to Y, which is
probably something like \Y depending on your setup. You can use it
either by selecting some text in visual mode and typing \Y, or typin
Marc Mezzarobba wrote:
> vnoremap Y :call YankSageTest(visualmode(), 1)' missing at the end
--
Marc
--
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 em
Simon King wrote:
> sorry, I still don't get what *exactly* one needs to do in order to
> achieve *what*.
My post was intended mainly for vim users who would be able to figure
out on their own what the code does and find it useful for their
workflow. I didn't realize anyone else might be interes
Sébastien Labbé wrote:
> But I am not getting errors, maybe my vim is too old (7.4.1689). I
> need to update my machine but I am always postponing this to tomorro
Indeed, it looks like I'm using features that appeared with vim 8.
--
Marc
--
You received this message because you are subscribed
Simon King wrote:
> But when I then go to Sage command line and hit -insert (which
> usually inserts what was previously copied), nothing happens (resp.
> some text was inserted that I have copied previously). This is with
> vim version 8.2.343
>
> What am I doing wrong?
I don't know. Does y in v
Hi Simon,
Simon King wrote:
> According to IEEE 754, the default rounding mode for floating-point
> operations is "round half to even". However, in examples it seems that
> the rounding roule in RR is: "round half away from zero if the total
> number of decimal digits in the result is odd and towa
'Peter Mueller' via sage-devel wrote:
> R. = GF(2)[]
> L = [a^2+a, b^2+b]
> I = ideal(L)
> V = I.variety(algorithm='msolve', proof=False)
>
> raises a `ValueError: positive-dimensional ideal`, which of course is
> nonsense. Exporting the system to an msolve-readable file and using
> msolve directl
'Peter Mueller' via sage-devel wrote:
> I guess that in your snippet, you manually typed the `enter` key after
> the `cat` command in the console.
Hmm, no, there is a newline at the end:
~$ hexdump -c /tmp/tmprcz_zw9l
000 a , b \n 2 \n a ^ 2 + a , \n b ^ 2
010
Hi Dima,
Dima Pasechnik wrote:
> So this is due to "0 < char <= 2**17 and deg != elim.degree()" - added
> by you - which does not make sense to me.
> Is this "Criterion" no longer applicable?
I don't know. This criterion was suggested to me by Mohab after I
complained that msolve -P 1 often retur
Dima Pasechnik wrote:
> the function 1/n : AA->AA is 1-1 on all AA, and I don't see why this
> property should be broken. Mathematically it makes perfect sense as
> is.
Because the ** operator is part of the coercion system, and AA coerces
into QQbar, CC, etc.
> In fact, it should also work like
you would like to
see covered.
Attendance is free of charge. To register, please contact me, preferably
before December 1st.
--
Marc, for the organizers: Ricardo Buring, Fredrik Johansson,
Pierre Lairez, Marc Mezzarobba
--
You received this message because you are subscribed to the Google
'Martin R' via sage-devel wrote:
> for testing purposes I am in need of an UFD in Sage for which is_unit
> is significantly slower than is_one.
Matrices?
--
Marc
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and
Marc Mezzarobba wrote:
>> for testing purposes I am in need of an UFD in Sage for which is_unit
>> is significantly slower than is_one.
>
> Matrices?
Woops, I read “a ring” insteand of “an ufd”...
--
Marc
--
You received this message because you are subscribed to the Go
Hi,
Could someone with the required permissions please approve the CI
workflows at https://github.com/sagemath/sage/pull/39391 ?
Thanks,
--
Marc
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving
Marc Mezzarobba wrote:
> Could someone with the required permissions please approve the CI
> workflows at https://github.com/sagemath/sage/pull/39391 ?
...again?
Thanks btw to whoever did it before!
--
Marc
--
You received this message because you are subscribed to the Google Groups
201 - 221 of 221 matches
Mail list logo
