On Thursday, July 17, 2014 10:35:32 PM UTC-7, Robert Bradshaw wrote:
> I'm not sure multimethods alone are enough to solve issues with Sage's
> type system (e.g. coercion, where the result of a+b may happen in a
> completely new domain) but they could certainly help.
>
Indeed. If you want mult
On Thu, Jul 17, 2014 at 6:34 AM, Luca De Feo wrote:
> I guess these two posts by G. Hoare (creator of the Rust language) are
> of interest to the community:
>
> http://graydon2.dreamwidth.org/3186.html
> http://graydon2.dreamwidth.org/189377.html
>
> See also the presentation linked therein:
>
OK supposing I make such a binary, where do I upload it?
Should I set specific variables to generate a redistributable binary?
Francois
On Fri, 04 Jul 2014 19:44:36 Francois Bissey wrote:
> I have one such machine but I am on holidays. I can look into it
> after the 15th.
>
> François
>
> On 5/
Depends on how you set up your remote (whether you add the "-t master" to
only track a specific branch).
On Thursday, July 17, 2014 1:47:32 PM UTC-4, John Cremona wrote:
>
> On 17 July 2014 12:56, Ralf Hemmecke >
> wrote:
> >> what if the russians suddendly attack the US
> >
> > When does it
On 17 July 2014 12:56, Ralf Hemmecke wrote:
>> what if the russians suddendly attack the US
>
> When does it stop that everyone fears the other for no good reason. I
> guess if you ask an ordinary russian person, he fears being invaded by
> the US.
>
> Are we still in the cold war?
>
>> reach our
On Saturday, February 21, 2009 4:58:02 PM UTC+1, Fredrik Johansson wrote:
>
> Hi,
>
> Looking around, it seems Sage does not yet implement harmonic numbers
> (except via SymPy)? If anyone is interested, I benchmarked a few
>
Better late than never:
http://trac.sagemath.org/ticket/16671
Regards,
sage: GF(2).categories()
[Join of Category of finite fields and Category of subquotients of monoids
and Category of quotients of semigroups,
Category of finite fields,
Category of fields,
Category of euclidean domains,
Category of division rings,
Category of principal ideal domains,
Category
Whaou. I guess it means: Category of (associative additive)
(commutative additive) (associative additive) unital distributive
magmas and additive magmas. But definitely, there is something wrong
;-)
Vincent
2014-07-17 17:31 UTC+02:00, Jean-Pierre Flori :
> When I define some finite field and ask
When I define some finite field and ask for the categories it belongs to,
one of them is:
Category of associative additive commutative additive associative additive
unital distributive magmas and additive magmas
That's a nice bunch of properties.
--
You received this message because you are su
I guess these two posts by G. Hoare (creator of the Rust language) are
of interest to the community:
http://graydon2.dreamwidth.org/3186.html
http://graydon2.dreamwidth.org/189377.html
See also the presentation linked therein:
http://nbviewer.ipython.org/gist/StefanKarpinski/b8fe9dbb36c142
> what if the russians suddendly attack the US
When does it stop that everyone fears the other for no good reason. I
guess if you ask an ordinary russian person, he fears being invaded by
the US.
Are we still in the cold war?
> reach our server and achieve to erase our data ? (or what if our har
Am 17.07.2014 11:31, schrieb Nathann Cohen:
> what if the russians suddendly attack the US, reach our
> server and achieve to erase our data ? (or what if our hard drive burns ?)
In Git, cloned Repositories are essentially backups of each other. So
when a "central" repository vanishes, just recrea
The function sage.symbolic.assumptions.assume (and related functions) have
documentation in their docstrings; however, the corresponding file
src/sage/symbolic/assumptions.py is not contained in any .rst file for the
reference manual. Therefore, the documentation of the function assume() does not
s
Hellooo everybody !
I just deleted some functions which had become a commit on our git server
yesterday.
And I wondered : what if the russians suddendly attack the US, reach our
server and achieve to erase our data ? (or what if our hard drive burns ?)
I would probably be enrolled quickly to
14 matches
Mail list logo
