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
|
//------------------------------------------------------------------------------
// GB_Semiring_check: check and print a semiring
//------------------------------------------------------------------------------
// SuiteSparse:GraphBLAS, Timothy A. Davis, (c) 2017-2022, All Rights Reserved.
// SPDX-License-Identifier: Apache-2.0
//------------------------------------------------------------------------------
#include "GB.h"
GB_PUBLIC
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_Info info ;
info = GB_Monoid_check (semiring->add, "semiring->add", pr, f) ;
if (info != GrB_SUCCESS)
{
GBPR0 (" Semiring->add invalid\n") ;
return (GrB_INVALID_OBJECT) ;
}
info = GB_BinaryOp_check (semiring->multiply, "semiring->multiply", pr, f) ;
if (info != GrB_SUCCESS)
{
GBPR0 (" Semiring->multiply invalid\n") ;
return (GrB_INVALID_OBJECT) ;
}
// z = multiply(x,y); type of z must match monoid type
if (semiring->multiply->ztype != semiring->add->op->ztype)
{
GBPR0 (" Semiring multiply output domain must match monoid"
" domain\n") ;
return (GrB_INVALID_OBJECT) ;
}
return (GrB_SUCCESS) ;
}
|
