1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
//------------------------------------------------------------------------------
// GB_Semiring_check: check and print a semiring
//------------------------------------------------------------------------------
// SuiteSparse:GraphBLAS, Timothy A. Davis, (c) 2017-2025, All Rights Reserved.
// SPDX-License-Identifier: Apache-2.0
//------------------------------------------------------------------------------
#include "GB.h"
#include "get_set/GB_get_set.h"
GrB_Info GB_Semiring_check // check a GraphBLAS semiring
(
const GrB_Semiring semiring, // GraphBLAS semiring to print and check
const char *name, // name of the semiring, optional
int pr, // print level
FILE *f // file for output
)
{
//--------------------------------------------------------------------------
// check inputs
//--------------------------------------------------------------------------
GBPR0 ("\n GraphBLAS Semiring: %s ", ((name != NULL) ? name : "")) ;
if (semiring == NULL)
{
GBPR0 ("NULL\n") ;
return (GrB_NULL_POINTER) ;
}
//--------------------------------------------------------------------------
// check object
//--------------------------------------------------------------------------
GB_CHECK_MAGIC (semiring) ;
GBPR0 (semiring->header_size > 0 ? "(user-defined):" : "(built-in):") ;
GrB_Monoid add = semiring->add ;
GrB_BinaryOp mult = semiring->multiply ;
if (semiring->name == NULL)
{
// semiring contains a built-in monoid and multiply operator
char *add_name = (add == NULL) ? "nil" : add->op->name ;
char *mult_name = (mult == NULL) ? "nil" : mult->name ;
GBPR0 (" (%s,%s)", add_name, mult_name) ;
}
else
{
// semiring contains user-defined monoid and/or multiply operator
GBPR0 (" (%s)", semiring->name) ;
if (semiring->name_len != strlen (semiring->name))
{
GBPR0 (" Semiring->name invalid\n") ;
return (GrB_INVALID_OBJECT) ;
}
}
GrB_Info info ;
info = GB_Monoid_check (add, "semiring->add", pr, f, true) ;
if (info != GrB_SUCCESS)
{
GBPR0 (" Semiring->add invalid\n") ;
return (GrB_INVALID_OBJECT) ;
}
info = GB_BinaryOp_check (mult, "semiring->multiply", pr, f) ;
if (info != GrB_SUCCESS)
{
GBPR0 (" Semiring->multiply invalid\n") ;
return (GrB_INVALID_OBJECT) ;
}
// name given by GrB_set, or 'GrB_*' name for built-in objects
const char *given_name = GB_semiring_name_get (semiring) ;
if (given_name != NULL)
{
GBPR0 (" Semiring given name: [%s]\n", given_name) ;
}
// z = multiply(x,y); type of z must match monoid type
if (mult->ztype != add->op->ztype)
{
GBPR0 (" Semiring multiply output domain must match monoid"
" domain\n") ;
return (GrB_INVALID_OBJECT) ;
}
return (GrB_SUCCESS) ;
}
|
