product

Documentation

Index

• func InclusionMaps(S Interface) ([]objectmap.Interface, error)
• func ProjectionMaps(S Interface) ([]objectmap.Interface, error)
• type InclusionMaper
• type Interface

Functions

func InclusionMaps

func InclusionMaps(S Interface) ([]objectmap.Interface, error)

InclusionMaps returns the inclusion maps of S.

func ProjectionMaps

func ProjectionMaps(S Interface) ([]objectmap.Interface, error)

ProjectionMaps returns the projection maps of S.

Types

type InclusionMaper

type InclusionMaper interface {
	InclusionMap(i int) (objectmap.Interface, error) // InclusionMap returns the inclusion S_{i+1} -> S_1 x S_2 x ... x S_k into the (i+1)-th factor of the product. This is, the maps are indexed from 0.
}

InclusionMaper is the interface satisfied by the InclusionMap method.

type Interface

type Interface interface {
	Rank() int                                        // Rank returns the number of factors k of the Cartesian product S_1 x S_2 x ... x S_k.
	ProjectionMap(i int) (objectmap.Interface, error) // ProjectionMap returns the projection S_1 x S_2 x ... x S_k -> S_{i+1} onto the (i+1)-th factor of the product. That is, the maps are indexed from 0.
}

Interface is the interface satisfied by a Cartesian product S_1 x S_2 x ... x S_k of object.Parents.