org.rubato.math.yoneda
Class Address

java.lang.Object
  extended by org.rubato.math.yoneda.Address

public final class Address
extends java.lang.Object

Utilities for address management.

Author:
Gérard Milmeister

Method Summary
static Module getCommonDenotatorModule(java.util.List<Denotator> denotators)
          Returns a common module for the addresses of the given list of denotators.
static Module getCommonModule(java.util.List<Module> modules)
          Returns a common module for the given list of modules.
static Module getCommonModule(Module... modules)
          Returns a common module for the given list of modules.
static int getMaxDimension(java.util.Collection<Module> modules)
          Returns the largest dimension among the given modules.
static Ring getMinRing(java.util.Collection<Ring> rings)
          Returns the minimal ring among the given rings.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

getCommonModule

public static Module getCommonModule(Module... modules)
Returns a common module for the given list of modules.

Returns:
null if no common module could be found

getCommonModule

public static Module getCommonModule(java.util.List<Module> modules)
Returns a common module for the given list of modules.

Returns:
null if no common module could be found

getCommonDenotatorModule

public static Module getCommonDenotatorModule(java.util.List<Denotator> denotators)
Returns a common module for the addresses of the given list of denotators.

Returns:
null if no common module could be found

getMaxDimension

public static int getMaxDimension(java.util.Collection<Module> modules)
Returns the largest dimension among the given modules.


getMinRing

public static Ring getMinRing(java.util.Collection<Ring> rings)
Returns the minimal ring among the given rings.

Returns:
null if the minimal ring could not be found