Thanks Eric. It works!
I figured out the FinitePoset part after reading the manual. But I know
test that it works for X = FinitePoset(...)
I didn't think of trying it with X = Poset(...).
On Monday, September 28, 2020 at 11:38:15 AM UTC-7 egourg...@gmail.com
wrote:
> Poset is a function, whic
On Mon, Sep 28, 2020 at 04:03:48PM -0400, Fernando Q. Gouvea wrote:
> I am trying to see how to do a standard calculus exercise in Sage. I want a
> power series for the integral of sin(x)/x. I tried:
>
> sage: var('t')
> t
> sage: assume(x>0)
> sage: f(x)=integrate(sin(t)/t,t,0,x)
> sage: f
> x |-
I am trying to see how to do a standard calculus exercise in Sage. I
want a power series for the integral of sin(x)/x. I tried:
sage: var('t')
t
sage: assume(x>0)
sage: f(x)=integrate(sin(t)/t,t,0,x)
sage: f
x |--> sin_integral(x)
sage: taylor(f(x),x,0,10)
73/466560*x^9 - 127/35280*x^7 + 31/600*
Poset is a function, which constructs a finite poset, not the poset class,
as you can check:
sage: type(Poset)
You can also check it by having a look at the source code:
sage: Poset??
So when you write
Poset.upper_bounds = upper_bounds
you are attaching upper_bounds to the function, not to the c
For convenient, I would like to add an attribute, upper_bounds, to Poset
objects
However, after writing the method and issue
Poset.upper_bounds = upper_bounds
X.upper_bounds(S) complains
'FinitePoset_with_category' object has no attribute 'upper_bounds'
When I try
FinitePoset_with_category.u
