Re: [sage-support] A case of immaculate conception...

['Justin C. Walker' via sage-support]

Oy!  Mon dieu!

> On Mar 20, 2019, at 14:00 , Simon King  wrote:
> 
> Hi John,
> 
> On 2019-03-20, john_perry_usm  wrote:
>> ...
>> 
>> 2) In Catholic theology it is not actually "necessary" for Mary to be free 
>> of original sin; rather, it is "fitting".
> 
> Right, "fitting" may be the better wording. And concerning the necessity of
> the doctrine of immaculate conception: 13th till 19th century (before pope
> Pius IX. turned immaculate conception into a dogma), the Dominicans provided
> alternative facts, namely "Sanctificatio Mariae" instead of immaculate
> conception. Whereas virginal conception is accepted doctrine in Catholicism,
> Protestantism and Islam, immaculate conception is dogma in Catholicism, not
> accepted as a dogma in most other branches of Christian theology, and
> irrelevant to Islam.
> 
> So, back to SageMath, hoping to not hurt people's feelings: According to
> the scripture (SageMath documentation), in
>   sage: f(x,y) = x^2+y
> x and y are virginally conceived by the symbolic ring through the power
> of the preparser, which is commonly accepted by SageMath's followers.
> However, the scripture does not assert that the symbolic ring is free of
> sin (bugs), and thus not all followers agree on the immaculate conception
> of the symbolic ring.
> 
> Best regards,
> Simon
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to sage-support+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-support@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-support.
> For more options, visit https://groups.google.com/d/optout.

--
Justin C. Walker, Curmudgeon at Large
Institute for the Absorption of Federal Funds
---
While creating wives, God promised men
that good and obedient wives would be
found in all corners of the world.
Then He made the earth round.
--








-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-support] A case of immaculate conception...

[Jeroen Demeyer]

On 2019-03-19 12:52, Emmanuel Charpentier wrote:

Defining a symbolic function seems to declare its arguments.


I tend to think that everything on the left of the '=' sign in an 
assignment is stuff that is assigned to. So


  (a, b, c) = range(3)

assigns to a, b and c.

  R. = ZZ[]

assigns to R and x.

  func(x) = x

assigns to func and x.

So in this sense, it's expected.

--
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] A case of immaculate conception...

[Emmanuel Charpentier]

Defining a symbolic function seems to declare its arguments. Case 
illustrated in this sagecell example 

 :

reset()
Id1=set(show_identifiers())
foo(p,a,b)=p^(a-1)*(1-p)^(b-1)
Id2=set(show_identifiers())
Id2 - Id1

which happily prints :

{'Id1', 'a', 'b', 'foo', 'p'}


Is this expected ?



-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.