rivetTDA/rivet

Segmentation fault (core dumped)

Closed this issue · 7 comments

Sorry,but what does the error mean? I have added points, edges, faces and their bigrade into txt , but I can only run rivet_console at homology degree 0. If I run homology degree at 1, I will report an error Segmentation fault (core dumped). Is it because there don't exist one-dimensional loop? But I saw empty reporting the error is NOOOOOOO. It's not the same as that one.

Of course
--datatype bifiltration
--xlabel x-label
--ylabel y-label

data starts here

0 ; 0 0
1 ; 1 2
2 ; 0 0
3 ; 1 2
4 ; 5 5
5 ; 3 2
6 ; 0 0
7 ; 2 1
8 ; 0 0
0 1 ; 1 2
1 2 ; 1 2
3 4 ; 5 5
4 5 ; 5 5
6 7 ; 2 1
7 8 ; 2 1
0 3 ; 1 2
3 6 ; 1 2
1 4 ; 5 5
4 7 ; 5 5
2 5 ; 3 2
5 8 ; 3 2
0 4 ; 5 5
1 5 ; 3 2
3 7 ; 2 1
4 8 ; 5 5
0 1 4 ; 5 5
0 3 4 ; 5 5
1 2 5 ; 3 2
1 4 5 ; 5 5
3 4 7 ; 5 5
3 6 7 ; 2 1
4 5 8 ; 5 5
4 7 8 ; 5 5

I use the lex order to get the bigrade.

This input doesn't describe a valid bifiltration. For example consider the birth grades of [3,7] and [3].

On Thu, Sep 14, 2023, 9:53 PM hejx1996 @.> wrote: I use the lex order to get the bigrade. — Reply to this email directly, view it on GitHub <#178 (comment)>, or unsubscribe https://github.com/notifications/unsubscribe-auth/AC72KBHLCVTZFQV6DBLXIJTX2OYIPANCNFSM6AAAAAA4XZOKUY . You are receiving this because you commented.Message ID: @.>

I think the birth grade of 3 is (1,2), and the birth grade of [3,7] is the max lex order of [3] and [7]. The lex order is if [3].x>[7].x, it takes the grade of [3], else if [3].x ==[7].x, [3].y>[7].y, it also takes the grade of [3]. So I input the [3,7] birth grade as (2,1). I think it's a one-critical input. Why it can't running? If there is a face[3,6,7], should I input the birth grade of all [3], [6], [7]?

The grade of a simplex must be greater than or equal to the grade of each of his faces, w.r.t. the partial order on Z^2. Given the grades you have set for [3] and [7], the grade of [3,7] must be at least [2,2], i.e., the first and second coordinates must be at least 2. Please look over the mathematical preliminaries in the documentation.

On Thu, Sep 14, 2023 at 11:42 PM hejx1996 @.> wrote: This input doesn't describe a valid bifiltration. For example consider the birth grades of [3,7] and [3]. … <#m_5645580516462492657_m_2090009749115981567_m_-2870815321900527276_> On Thu, Sep 14, 2023, 9:53 PM hejx1996 @.> wrote: I use the lex order to get the bigrade. — Reply to this email directly, view it on GitHub <#178 (comment) <#178 (comment)>>, or unsubscribe https://github.com/notifications/unsubscribe-auth/AC72KBHLCVTZFQV6DBLXIJTX2OYIPANCNFSM6AAAAAA4XZOKUY https://github.com/notifications/unsubscribe-auth/AC72KBHLCVTZFQV6DBLXIJTX2OYIPANCNFSM6AAAAAA4XZOKUY . You are receiving this because you commented.Message ID: @.> I think the birth grade of 3 is (1,2), and the birth grade of [3,7] is the max lex order of [3] and [7]. The lex order is if [3].x>[7].x, it takes the grade of [3], else if [3].x ==[7].x, [3].y>[7].y, it also takes the grade of [3]. So I input the [3,7] birth grade as (2,1). I think it's a one-critical input. Why it can't running? If there is a face[3,6,7], should I input the birth grade of all [3], [6], [7]? — Reply to this email directly, view it on GitHub <#178 (comment)>, or unsubscribe https://github.com/notifications/unsubscribe-auth/AC72KBEZOGJTXNMR62RQKYLX2PFDJANCNFSM6AAAAAA4XZOKUY . You are receiving this because you commented.Message ID: @.**>

Thanks for your patience. I understand.