Re: [sage-support] Re: Join operation in arbitrary poset

2017-04-04 Thread Jori Mantysalo

On Tue, 4 Apr 2017, Robin van der veer wrote:


I similar "problem": atoms() is not implemented for the MeetSemilattice,
while it certainly makes sense there.


Good point. I opened https://trac.sagemath.org/ticket/22757 for that.

--
Jori Mäntysalo

[sage-support] Re: Join operation in arbitrary poset

2017-04-04 Thread Robin van der veer
I similar "problem": atoms() is not implemented for the MeetSemilattice, 
while it certainly makes sense there.

Op maandag 3 april 2017 23:57:44 UTC+2 schreef Robin van der veer:
>
> Hello,
>
> I wonder if there is any way to use the join or meet operations in 
> arbitrary posets? 
> It seems that these methods are only exposed in the classes of join- resp. 
> meet semilattices.
> However, it would be very convenient if these methods were available in 
> general posets somehow, and would just raise an exception if the join/meet 
> does not exist.
> The problem that I'm facing now is that the posets I'm working with are 
> not join semilattices, but it is essential for me to compute joins of 
> certain subsets anyway (these join do exist).
> Since the join semilattice constructor verifies that the poset is actually 
> a join semilattice (and from what I see this validation cannot be 
> disabled), I cannot construct my posets as join semilattices and use the 
> join method.
> Any suggestions on how to go about it? Or is the only solution to just 
> implement a join operation myself?
>
> Thanks
>

-- 
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.