Source code for openmdao.core.component

"""Define the Component class."""

import sys
import types
from collections import defaultdict
from collections.abc import Iterable
from itertools import product

from numbers import Integral
import numpy as np
from numpy import ndarray, isscalar, ndim, atleast_1d, atleast_2d, promote_types
from scipy.sparse import issparse, coo_matrix

from openmdao.core.system import System, _supported_methods, _DEFAULT_COLORING_META, \
    global_meta_names, collect_errors
from openmdao.core.constants import INT_DTYPE
from openmdao.jacobians.dictionary_jacobian import DictionaryJacobian
from openmdao.utils.array_utils import shape_to_len, submat_sparsity_iter
from openmdao.utils.units import simplify_unit
from openmdao.utils.name_maps import abs_key_iter, abs_key2rel_key
from openmdao.utils.mpi import MPI
from openmdao.utils.general_utils import format_as_float_or_array, ensure_compatible, \
    find_matches, make_set, inconsistent_across_procs
from openmdao.utils.indexer import Indexer, indexer
import openmdao.utils.coloring as coloring_mod
from openmdao.utils.om_warnings import issue_warning, MPIWarning, DistributedComponentWarning, \
    DerivativesWarning, warn_deprecation
from openmdao.utils.code_utils import is_lambda, LambdaPickleWrapper, get_partials_deps


_forbidden_chars = {'.', '*', '?', '!', '[', ']'}
_whitespace = {' ', '\t', '\r', '\n'}
_allowed_types = (list, tuple, ndarray, Iterable)


def _valid_var_name(name):
    """
    Determine if the proposed name is a valid variable name.

    Leading and trailing whitespace is illegal, and a specific list of characters
    are illegal anywhere in the string.

    Parameters
    ----------
    name : str
        Proposed name.

    Returns
    -------
    bool
        True if the proposed name is a valid variable name, else False.
    """
    global _forbidden_chars, _whitespace
    if not name:
        return False
    if _forbidden_chars.intersection(name):
        return False
    return name is name.strip()


[docs]class Component(System): """ Base Component class; not to be directly instantiated. Parameters ---------- **kwargs : dict of keyword arguments Available here and in all descendants of this system. Attributes ---------- _var_rel2meta : dict Dictionary mapping relative names to metadata. This is only needed while adding inputs and outputs. During setup, these are used to build the dictionaries of metadata. _static_var_rel2meta : dict Static version of above - stores data for variables added outside of setup. _var_rel_names : {'input': [str, ...], 'output': [str, ...]} List of relative names of owned variables existing on current proc. This is only needed while adding inputs and outputs. During setup, these are used to determine the list of absolute names. _static_var_rel_names : dict Static version of above - stores names of variables added outside of setup. _declared_partials_patterns : dict Dictionary of declared partials patterns. Each key is a tuple of the form (of, wrt) where of and wrt may be glob patterns. _declared_partial_checks : list Cached storage of user-declared check partial options. _no_check_partials : bool If True, the check_partials function will ignore this component. _has_distrib_outputs : bool If True, this component has at least one distributed output. _compute_primals_out_shape : tuple or None Cached (shape, istuple) of the output from compute_primal function. If istuple is True, then shape is a tuple of shapes, otherwise it is a single shape. """
[docs] def __init__(self, **kwargs): """ Initialize all attributes. """ super().__init__(**kwargs) self._var_rel_names = {'input': [], 'output': []} self._var_rel2meta = {} self._static_var_rel_names = {'input': [], 'output': []} self._static_var_rel2meta = {} self._declared_partials_patterns = {} self._declared_partial_checks = [] self._no_check_partials = False self._has_distrib_outputs = False self._compute_primals_out_shape = None
def _tree_flatten(self): """ Return a flattened pytree representation of this component. We treat this component, when passed as 'self' into a function that is used by jax, as a pytree with no continuous data. Returns ------- Tuple A tuple containing continuous and static data. """ return ((), {'_self_': self, '_statics_': self.get_self_statics()}) @staticmethod def _tree_unflatten(aux_data, children): """ Return the same instance of this component that was returned by the _tree_flatten method. """ return aux_data['_self_'] def _declare_options(self): """ Declare options before kwargs are processed in the init method. """ super()._declare_options() self.options.declare('distributed', types=bool, default=False, desc='If True, set all variables in this component as distributed ' 'across multiple processes') self.options.declare('run_root_only', types=bool, default=False, desc='If True, call compute, compute_partials, linearize, ' 'apply_linear, apply_nonlinear, and compute_jacvec_product ' 'only on rank 0 and broadcast the results to the other ranks.') self.options.declare('always_opt', types=bool, default=False, desc='If True, force nonlinear operations on this component to be ' 'included in the optimization loop even if this component is not ' 'relevant to the design variables and responses.') self.options.declare('use_jit', types=bool, default=True, desc='If True, attempt to use jit on compute_primal, assuming jax or ' 'some other AD package is active.')
[docs] def setup(self): """ Declare inputs and outputs. Available attributes: name pathname comm options """ pass
def _setup_procs(self, pathname, comm, prob_meta): """ Execute first phase of the setup process. Distribute processors, assign pathnames, and call setup on the component. Parameters ---------- pathname : str Global name of the system, including the path. comm : MPI.Comm or <FakeComm> MPI communicator object. prob_meta : dict Problem level metadata. """ super()._setup_procs(pathname, comm, prob_meta) if self._num_par_fd > 1: if comm.size > 1: comm = self._setup_par_fd_procs(comm) elif not MPI: issue_warning(f"MPI is not active but num_par_fd = {self._num_par_fd}. No parallel " "finite difference will be performed.", prefix=self.msginfo, category=MPIWarning) self._num_par_fd = 1 self.comm = comm # Clear out old variable information so that we can call setup on the component. self._var_rel_names = {'input': [], 'output': []} self._var_rel2meta = {} if comm.size == 1: self._has_distrib_vars = self._has_distrib_outputs = False for meta in self._static_var_rel2meta.values(): # reset shape if any dynamic shape parameters are set in case this is a resetup # NOTE: this is necessary because we allow variables to be added in __init__. if 'shape_by_conn' in meta and (meta['shape_by_conn'] or meta['compute_shape'] is not None): meta['shape'] = None if not isscalar(meta['val']): if meta['val'].size > 0: meta['val'] = meta['val'].flatten()[0] else: meta['val'] = 1.0 self._var_rel2meta.update(self._static_var_rel2meta) for io in ['input', 'output']: self._var_rel_names[io].extend(self._static_var_rel_names[io]) self.setup() self._setup_check() self._set_vector_class() def _set_vector_class(self): if self._has_distrib_vars: dist_vec_class = self._problem_meta['distributed_vector_class'] if dist_vec_class is not None: self._vector_class = dist_vec_class else: issue_warning("Component contains distributed variables, " "but there is no distributed vector implementation (MPI/PETSc) " "available. The default non-distributed vectors will be used.", prefix=self.msginfo, category=DistributedComponentWarning) self._vector_class = self._problem_meta['local_vector_class'] else: self._vector_class = self._problem_meta['local_vector_class'] def _configure_check(self): """ Do any error checking on i/o configuration. """ # Check here if declare_coloring was called during setup but declare_partials wasn't. # If declare partials wasn't called, call it with of='*' and wrt='*' so we'll have # something to color. if self._coloring_info.coloring is not None: for meta in self._declared_partials_patterns.values(): if 'method' in meta and meta['method'] is not None: break else: method = self._coloring_info.method issue_warning("declare_coloring or use_fixed_coloring was called but no approx" " partials were declared. Declaring all partials as approximated " f"using default metadata and method='{method}'.", prefix=self.msginfo, category=DerivativesWarning) self.declare_partials('*', '*', method=method) super()._configure_check() def _setup_var_data(self): """ Compute the list of abs var names, abs/prom name maps, and metadata dictionaries. """ global global_meta_names super()._setup_var_data() allprocs_prom2abs_list = self._var_allprocs_prom2abs_list abs2prom = self._var_allprocs_abs2prom = self._var_abs2prom # Compute the prefix for turning rel/prom names into abs names prefix = self.pathname + '.' for io in ['input', 'output']: abs2meta = self._var_abs2meta[io] allprocs_abs2meta = self._var_allprocs_abs2meta[io] is_input = io == 'input' for prom_name in self._var_rel_names[io]: abs_name = prefix + prom_name abs2meta[abs_name] = metadata = self._var_rel2meta[prom_name] # Compute allprocs_prom2abs_list, abs2prom allprocs_prom2abs_list[io][prom_name] = [abs_name] abs2prom[io][abs_name] = prom_name allprocs_abs2meta[abs_name] = { meta_name: metadata[meta_name] for meta_name in global_meta_names[io] } if is_input and 'src_indices' in metadata: allprocs_abs2meta[abs_name]['has_src_indices'] = \ metadata['src_indices'] is not None for prom_name, val in self._var_discrete[io].items(): abs_name = prefix + prom_name # Compute allprocs_prom2abs_list, abs2prom allprocs_prom2abs_list[io][prom_name] = [abs_name] abs2prom[io][abs_name] = prom_name # Compute allprocs_discrete (metadata for discrete vars) self._var_allprocs_discrete[io][abs_name] = v = val.copy() del v['val'] if self._var_discrete['input'] or self._var_discrete['output']: self._discrete_inputs = _DictValues(self._var_discrete['input']) self._discrete_outputs = _DictValues(self._var_discrete['output']) else: self._discrete_inputs = self._discrete_outputs = {} if self.comm.size > 1: # check that same variables are declared on all procs vnames = (list(self._var_rel_names['output']), list(self._var_rel_names['input'])) allnames = self.comm.gather(vnames, root=0) if self.comm.rank == 0: outset, inset = vnames msg = '' for oset, iset in allnames: if iset != inset or oset != outset: msg = self._missing_vars_error(allnames) break self.comm.bcast(msg, root=0) else: msg = self.comm.bcast(None, root=0) if msg: raise RuntimeError(msg) self._serial_idxs = None self._inconsistent_keys = set() def _missing_vars_error(self, allnames): msg = '' outset, inset = allnames[0] for rank, (olist, ilist) in enumerate(allnames): if rank != 0 and (olist != outset or ilist != inset): idiff = set(inset).symmetric_difference(ilist) odiff = set(outset).symmetric_difference(olist) if idiff or odiff: varnames = sorted(idiff | odiff) if len(varnames) == 1: varmsg = f"Variable '{varnames[0]}' exists on some ranks and not others." else: varmsg = f"Variables {varnames} exist on some ranks and not others." else: varmsg = "Variables have not been declared in the same order on all ranks." msg = (f"{self.msginfo}: {varmsg} A component must declare all variables in " "the same order on all ranks, even if the size of the variable is 0 on " "some ranks.") break return msg @collect_errors def _setup_var_sizes(self): """ Compute the arrays of variable sizes for all variables/procs on this system. """ iproc = self.comm.rank abs2idx = self._var_allprocs_abs2idx = {} for io in ('input', 'output'): sizes = self._var_sizes[io] = np.zeros((self.comm.size, len(self._var_rel_names[io])), dtype=INT_DTYPE) for i, (name, metadata) in enumerate(self._var_allprocs_abs2meta[io].items()): sz = metadata['size'] sizes[iproc, i] = 0 if sz is None else sz abs2idx[name] = i if self.comm.size > 1: my_sizes = sizes[iproc, :].copy() self.comm.Allgather(my_sizes, sizes) self._owned_sizes = self._var_sizes['output'] def _setup_partials(self): """ Process all partials and approximations that the user declared. """ self._subjacs_info = {} if not self.matrix_free: self._jacobian = DictionaryJacobian(system=self) self.setup_partials() # hook for component writers to specify sparsity patterns if self.options['derivs_method'] in ('cs', 'fd'): if self.matrix_free: raise RuntimeError(f"{self.msginfo}: derivs_method of 'cs' or 'fd' is not " "allowed for a matrix free component.") self._has_approx = True method = self.options['derivs_method'] self._get_approx_scheme(method) if not self._declared_partials_patterns: if self.compute_primal is None: raise RuntimeError(f"{self.msginfo}: compute_primal must be defined if using " "a derivs_method option of 'cs' or 'fd'") # declare all partials as 'cs' or 'fd' for of, wrt in get_partials_deps(self.compute_primal, self._var_rel_names['output']): self.declare_partials(of, wrt, method=method) else: # declare only those partials that have been declared for meta in self._declared_partials_patterns.values(): meta['method'] = method # check to make sure that if num_par_fd > 1 that this system is actually doing FD. # Unfortunately we have to do this check after system setup has been called because that's # when declare_partials generally happens, so we raise an exception here instead of just # resetting the value of num_par_fd (because the comm has already been split and possibly # used by the system setup). orig_comm = self._full_comm if self._full_comm is not None else self.comm if self._num_par_fd > 1 and orig_comm.size > 1 and not (self._owns_approx_jac or self._approx_schemes): raise RuntimeError("%s: num_par_fd is > 1 but no FD is active." % self.msginfo) for key, pattern_meta in self._declared_partials_patterns.items(): of, wrt = key self._resolve_partials_patterns(of, wrt, pattern_meta)
[docs] def setup_partials(self): """ Declare partials. This is meant to be overridden by component classes. All partials should be declared here since this is called after all size/shape information is known for all variables. """ pass
def _setup_residuals(self): """ Process hook to call user-defined setup_residuals method if provided. """ pass def _declared_partials_iter(self): """ Iterate over all declared partials. Yields ------ key : tuple (of, wrt) Subjacobian key. """ yield from self._subjacs_info.keys() def _get_missing_partials(self, missing): """ Provide (of, wrt) tuples for which derivatives have not been declared in the component. Parameters ---------- missing : dict Dictionary containing set of missing derivatives keyed by system pathname. """ if ('*', '*') in self._declared_partials_patterns or \ (('*',), ('*',)) in self._declared_partials_patterns: return # keep old default behavior where matrix free components are assumed to have # 'dense' whole variable to whole variable partials if no partials are declared. if self.matrix_free and not self._declared_partials_patterns: return keyset = self._subjacs_info mset = set() for of in self._var_allprocs_abs2meta['output']: for wrt in self._var_allprocs_abs2meta['input']: if (of, wrt) not in keyset: mset.add((of, wrt)) if mset: missing[self.pathname] = mset @property def checking(self): """ Return True if check_partials or check_totals is executing. Returns ------- bool True if we're running within check_partials or check_totals. """ return self._problem_meta is not None and self._problem_meta['checking'] def _run_root_only(self): """ Return the value of the run_root_only option and check for possible errors. Returns ------- bool True if run_root_only is active. """ if self.options['run_root_only']: if self.comm.size > 1 or (self._full_comm is not None and self._full_comm.size > 1): if self._has_distrib_vars: raise RuntimeError(f"{self.msginfo}: Can't set 'run_root_only' option when " "a component has distributed variables.") if self._num_par_fd > 1: raise RuntimeError(f"{self.msginfo}: Can't set 'run_root_only' option when " "using parallel FD.") if self._problem_meta['has_par_deriv_color']: raise RuntimeError(f"{self.msginfo}: Can't set 'run_root_only' option when " "using parallel_deriv_color.") return True return False def _promoted_wrt_iter(self): yield from self._get_partials_wrts() def _update_subjac_sparsity(self, sparsity_iter): """ Update subjac sparsity info based on the given coloring. The sparsity of the partial derivatives in this component will be used when computing the sparsity of the total jacobian for the entire model. Without this, all of this component's partials would be treated as dense, resulting in an overly conservative coloring of the total jacobian. Parameters ---------- sparsity_iter : iter of tuple Tuple of the form (of, wrt, rows, cols, shape). """ # sparsity uses relative names, so we need to convert to absolute prefix = self.pathname + '.' for of, wrt, rows, cols, shape in sparsity_iter: if rows is None: continue abs_key = (prefix + of, prefix + wrt) if abs_key in self._subjacs_info: self._subjacs_info[abs_key]['sparsity'] = (rows, cols, shape)
[docs] def add_input(self, name, val=1.0, shape=None, units=None, desc='', tags=None, shape_by_conn=False, copy_shape=None, compute_shape=None, require_connection=False, distributed=None): """ Add an input variable to the component. Parameters ---------- name : str Name of the variable in this component's namespace. val : float or list or tuple or ndarray or Iterable The initial value of the variable being added in user-defined units. Default is 1.0. shape : int or tuple or list or None Shape of this variable, only required if val is not an array. Default is None. units : str or None Units in which this input variable will be provided to the component during execution. Default is None, which means it is unitless. desc : str Description of the variable. tags : str or list of strs User defined tags that can be used to filter what gets listed when calling list_inputs and list_outputs. shape_by_conn : bool If True, shape this input to match its connected output. copy_shape : str or None If a str, that str is the name of a variable. Shape this input to match that of the named variable. compute_shape : function A function taking a dict arg containing names and shapes of this component's outputs and returning the shape of this input. require_connection : bool If True and this input is not a design variable, it must be connected to an output. distributed : bool If True, this variable is a distributed variable, so it can have different sizes/values across MPI processes. Returns ------- dict Metadata for added variable. """ # First, type check all arguments if not isinstance(name, str): raise TypeError('%s: The name argument should be a string.' % self.msginfo) if not _valid_var_name(name): raise NameError("%s: '%s' is not a valid input name." % (self.msginfo, name)) if not isscalar(val) and not isinstance(val, _allowed_types): raise TypeError('%s: The val argument should be a float, list, tuple, ndarray or ' 'Iterable' % self.msginfo) if shape is not None and not isinstance(shape, (Integral, tuple, list)): raise TypeError("%s: The shape argument should be an int, tuple, or list but " "a '%s' was given" % (self.msginfo, type(shape))) if units is not None: if not isinstance(units, str): raise TypeError('%s: The units argument should be a str or None.' % self.msginfo) units = simplify_unit(units, msginfo=self.msginfo) if tags is not None and not isinstance(tags, (str, list, set)): raise TypeError('The tags argument should be a str, set, or list') if copy_shape and compute_shape: raise ValueError(f"{self.msginfo}: Only one of 'copy_shape' or 'compute_shape' can " "be specified.") if copy_shape and not isinstance(copy_shape, str): raise TypeError(f"{self.msginfo}: The copy_shape argument should be a str or None but " f"a '{type(copy_shape).__name__}' was given.") if compute_shape and not isinstance(compute_shape, types.FunctionType): raise TypeError(f"{self.msginfo}: The compute_shape argument should be a function but " f"a '{type(compute_shape).__name__}' was given.") if shape_by_conn or copy_shape or compute_shape: if shape is not None or ndim(val) > 0: raise ValueError("%s: If shape is to be set dynamically, 'shape' and 'val' should " "be a scalar, but shape of '%s' and val of '%s' was given for " "variable '%s'." % (self.msginfo, shape, val, name)) else: # value, shape: based on args, making sure they are compatible val, shape = ensure_compatible(name, val, shape) # until we get rid of component level distributed option, handle the case where # component distributed has been set to True but variable distributed has been set # to False by the caller. if distributed is not False: if distributed is None: distributed = False # using ._dict below to avoid tons of deprecation warnings distributed = distributed or ('distributed' in self.options and self.options._dict['distributed']['val']) if compute_shape is not None and is_lambda(compute_shape): compute_shape = LambdaPickleWrapper(compute_shape) metadata = { 'val': val, 'shape': shape, 'size': shape_to_len(shape), 'src_indices': None, 'flat_src_indices': None, 'units': units, 'desc': desc, 'tags': make_set(tags), 'shape_by_conn': shape_by_conn, 'compute_shape': compute_shape, 'copy_shape': copy_shape, 'require_connection': require_connection, 'distributed': distributed, } # this will get reset later if comm size is 1 self._has_distrib_vars |= metadata['distributed'] if self._static_mode: var_rel2meta = self._static_var_rel2meta var_rel_names = self._static_var_rel_names else: var_rel2meta = self._var_rel2meta var_rel_names = self._var_rel_names # Disallow dupes if name in var_rel2meta: raise ValueError("{}: Variable name '{}' already exists.".format(self.msginfo, name)) var_rel2meta[name] = metadata var_rel_names['input'].append(name) self._var_added(name) return metadata
[docs] def add_discrete_input(self, name, val, desc='', tags=None): """ Add a discrete input variable to the component. Parameters ---------- name : str Name of the variable in this component's namespace. val : a picklable object The initial value of the variable being added. desc : str Description of the variable. tags : str or list of strs User defined tags that can be used to filter what gets listed when calling list_inputs and list_outputs. Returns ------- dict Metadata for added variable. """ # First, type check all arguments if not isinstance(name, str): raise TypeError('%s: The name argument should be a string.' % self.msginfo) if not _valid_var_name(name): raise NameError("%s: '%s' is not a valid input name." % (self.msginfo, name)) if tags is not None and not isinstance(tags, (str, list)): raise TypeError('%s: The tags argument should be a str or list' % self.msginfo) metadata = {} metadata.update({ 'val': val, 'type': type(val), 'desc': desc, 'tags': make_set(tags), }) if metadata['type'] == np.ndarray: metadata.update({'shape': val.shape}) if self._static_mode: var_rel2meta = self._static_var_rel2meta else: var_rel2meta = self._var_rel2meta # Disallow dupes if name in var_rel2meta: raise ValueError("{}: Variable name '{}' already exists.".format(self.msginfo, name)) var_rel2meta[name] = self._var_discrete['input'][name] = metadata self._var_added(name) return metadata
[docs] def add_output(self, name, val=1.0, shape=None, units=None, res_units=None, desc='', lower=None, upper=None, ref=1.0, ref0=0.0, res_ref=None, tags=None, shape_by_conn=False, copy_shape=None, compute_shape=None, distributed=None): """ Add an output variable to the component. Parameters ---------- name : str Name of the variable in this component's namespace. val : float or list or tuple or ndarray The initial value of the variable being added in user-defined units. Default is 1.0. shape : int or tuple or list or None Shape of this variable, only required if val is not an array. Default is None. units : str or None Units in which the output variables will be provided to the component during execution. Default is None, which means it has no units. res_units : str or None Units in which the residuals of this output will be given to the user when requested. Default is None, which means it has no units. desc : str Description of the variable. lower : float or list or tuple or ndarray or Iterable or None Lower bound(s) in user-defined units. It can be (1) a float, (2) an array_like consistent with the shape arg (if given), or (3) an array_like matching the shape of val, if val is array_like. A value of None means this output has no lower bound. Default is None. upper : float or list or tuple or ndarray or or Iterable None Upper bound(s) in user-defined units. It can be (1) a float, (2) an array_like consistent with the shape arg (if given), or (3) an array_like matching the shape of val, if val is array_like. A value of None means this output has no upper bound. Default is None. ref : float or ndarray Scaling parameter. The value in the user-defined units of this output variable when the scaled value is 1. Default is 1. ref0 : float or ndarray Scaling parameter. The value in the user-defined units of this output variable when the scaled value is 0. Default is 0. res_ref : float or ndarray Scaling parameter. The value in the user-defined res_units of this output's residual when the scaled value is 1. Default is 1. tags : str or list of strs or set of strs User defined tags that can be used to filter what gets listed when calling list_inputs and list_outputs. shape_by_conn : bool If True, shape this output to match its connected input(s). copy_shape : str or None If a str, that str is the name of a variable. Shape this output to match that of the named variable. compute_shape : function A function taking a dict arg containing names and shapes of this component's inputs and returning the shape of this output. distributed : bool If True, this variable is a distributed variable, so it can have different sizes/values across MPI processes. Returns ------- dict Metadata for added variable. """ global _allowed_types # First, type check all arguments if (shape_by_conn or copy_shape or compute_shape) and (shape is not None or ndim(val) > 0): raise ValueError("%s: If shape is to be set dynamically using 'shape_by_conn', " "'copy_shape', or 'compute_shape', 'shape' and 'val' should be scalar," " but shape of '%s' and val of '%s' was given for variable '%s'." % (self.msginfo, shape, val, name)) if not isinstance(name, str): raise TypeError('%s: The name argument should be a string.' % self.msginfo) if not _valid_var_name(name): raise NameError("%s: '%s' is not a valid output name." % (self.msginfo, name)) if shape is not None and not isinstance(shape, (int, tuple, list, np.integer)): raise TypeError("%s: The shape argument should be an int, tuple, or list but " "a '%s' was given" % (self.msginfo, type(shape))) if res_units is not None: if not isinstance(res_units, str): msg = '%s: The res_units argument should be a str or None' % self.msginfo raise TypeError(msg) res_units = simplify_unit(res_units, msginfo=self.msginfo) if units is not None: if not isinstance(units, str): raise TypeError('%s: The units argument should be a str or None' % self.msginfo) units = simplify_unit(units, msginfo=self.msginfo) if tags is not None and not isinstance(tags, (str, set, list)): raise TypeError('The tags argument should be a str, set, or list') if not (copy_shape or shape_by_conn or compute_shape): if not isscalar(val) and not isinstance(val, _allowed_types): msg = '%s: The val argument should be a float, list, tuple, ndarray or Iterable' raise TypeError(msg % self.msginfo) # value, shape: based on args, making sure they are compatible val, shape = ensure_compatible(name, val, shape) if lower is not None: lower = ensure_compatible(name, lower, shape)[0] self._has_bounds = True if upper is not None: upper = ensure_compatible(name, upper, shape)[0] self._has_bounds = True # All refs: check the shape if necessary for item, item_name in zip([ref, ref0, res_ref], ['ref', 'ref0', 'res_ref']): if item is not None and not isscalar(item): if not isinstance(item, _allowed_types): raise TypeError(f'{self.msginfo}: The {item_name} argument should be a ' 'float, list, tuple, ndarray or Iterable') it = atleast_1d(item) if it.shape != shape: raise ValueError(f"{self.msginfo}: When adding output '{name}', expected " f"shape {shape} but got shape {it.shape} for argument " f"'{item_name}'.") if isscalar(ref): self._has_output_scaling |= ref != 1.0 else: self._has_output_scaling |= np.any(ref != 1.0) if isscalar(ref0): self._has_output_scaling |= ref0 != 0.0 self._has_output_adder |= ref0 != 0.0 else: self._has_output_scaling |= np.any(ref0) self._has_output_adder |= np.any(ref0) if isscalar(res_ref): self._has_resid_scaling |= res_ref != 1.0 else: self._has_resid_scaling |= np.any(res_ref != 1.0) # until we get rid of component level distributed option, handle the case where # component distributed has been set to True but variable distributed has been set # to False by the caller. if distributed is not False: if distributed is None: distributed = False # using ._dict below to avoid tons of deprecation warnings distributed = distributed or ('distributed' in self.options and self.options._dict['distributed']['val']) if copy_shape and compute_shape: raise ValueError(f"{self.msginfo}: Only one of 'copy_shape' or 'compute_shape' can " "be specified.") if copy_shape and not isinstance(copy_shape, str): raise TypeError(f"{self.msginfo}: The copy_shape argument should be a str or None but " f"a '{type(copy_shape).__name__}' was given.") if compute_shape and not isinstance(compute_shape, (types.FunctionType, types.MethodType)): raise TypeError(f"{self.msginfo}: The compute_shape argument should be a function but " f"a '{type(compute_shape).__name__}' was given.") if compute_shape is not None and is_lambda(compute_shape): compute_shape = LambdaPickleWrapper(compute_shape) metadata = { 'val': val, 'shape': shape, 'size': shape_to_len(shape), 'units': units, 'res_units': res_units, 'desc': desc, 'distributed': distributed, 'tags': make_set(tags), 'ref': format_as_float_or_array('ref', ref, flatten=True), 'ref0': format_as_float_or_array('ref0', ref0, flatten=True), 'res_ref': format_as_float_or_array('res_ref', res_ref, flatten=True, val_if_none=None), 'lower': lower, 'upper': upper, 'shape_by_conn': shape_by_conn, 'compute_shape': compute_shape, 'copy_shape': copy_shape, } # this will get reset later if comm size is 1 self._has_distrib_vars |= metadata['distributed'] self._has_distrib_outputs |= metadata['distributed'] # We may not know the pathname yet, so we have to use name for now, instead of abs_name. if self._static_mode: var_rel2meta = self._static_var_rel2meta var_rel_names = self._static_var_rel_names else: var_rel2meta = self._var_rel2meta var_rel_names = self._var_rel_names # Disallow dupes if name in var_rel2meta: raise ValueError("{}: Variable name '{}' already exists.".format(self.msginfo, name)) var_rel2meta[name] = metadata var_rel_names['output'].append(name) self._var_added(name) return metadata
[docs] def add_discrete_output(self, name, val, desc='', tags=None): """ Add an output variable to the component. Parameters ---------- name : str Name of the variable in this component's namespace. val : a picklable object The initial value of the variable being added. desc : str Description of the variable. tags : str or list of strs or set of strs User defined tags that can be used to filter what gets listed when calling list_inputs and list_outputs. Returns ------- dict Metadata for added variable. """ if not isinstance(name, str): raise TypeError('%s: The name argument should be a string.' % self.msginfo) if not _valid_var_name(name): raise NameError("%s: '%s' is not a valid output name." % (self.msginfo, name)) if tags is not None and not isinstance(tags, (str, set, list)): raise TypeError('%s: The tags argument should be a str, set, or list' % self.msginfo) metadata = {} metadata.update({ 'val': val, 'type': type(val), 'desc': desc, 'tags': make_set(tags) }) if metadata['type'] == np.ndarray: metadata.update({'shape': val.shape}) if self._static_mode: var_rel2meta = self._static_var_rel2meta else: var_rel2meta = self._var_rel2meta # Disallow dupes if name in var_rel2meta: raise ValueError("{}: Variable name '{}' already exists.".format(self.msginfo, name)) var_rel2meta[name] = self._var_discrete['output'][name] = metadata self._var_added(name) return metadata
def _var_added(self, name): """ Notify config that a variable has been added to this Component. Parameters ---------- name : str Name of the added variable. """ if self._problem_meta is not None and self._problem_meta['config_info'] is not None: self._problem_meta['config_info']._var_added(self.pathname, name) def _update_dist_src_indices(self, abs_in2out, all_abs2meta, all_abs2idx, all_sizes): """ Set default src_indices for any distributed inputs where they aren't set. Parameters ---------- abs_in2out : dict Mapping of connected inputs to their source. Names are absolute. all_abs2meta : dict Mapping of absolute names to metadata for all variables in the model. all_abs2idx : dict Dictionary mapping an absolute name to its allprocs variable index. all_sizes : dict Mapping of types to sizes of each variable in all procs. Returns ------- list Names of inputs where src_indices were added. """ iproc = self.comm.rank abs2meta_in = self._var_abs2meta['input'] all_abs2meta_in = all_abs2meta['input'] all_abs2meta_out = all_abs2meta['output'] abs_in2prom_info = self._problem_meta['abs_in2prom_info'] sizes_in = self._var_sizes['input'] sizes_out = all_sizes['output'] added_src_inds = [] # loop over continuous inputs for i, (iname, meta_in) in enumerate(abs2meta_in.items()): if meta_in['src_indices'] is None and iname not in abs_in2prom_info: src = abs_in2out[iname] dist_in = meta_in['distributed'] dist_out = all_abs2meta_out[src]['distributed'] if dist_in or dist_out: gsize_out = all_abs2meta_out[src]['global_size'] gsize_in = all_abs2meta_in[iname]['global_size'] vout_sizes = sizes_out[:, all_abs2idx[src]] offset = None if gsize_out == gsize_in or (not dist_out and np.sum(vout_sizes) == gsize_in): # This assumes one of: # 1) a distributed output with total size matching the total size of a # distributed input # 2) a non-distributed output with local size matching the total size of a # distributed input # 3) a non-distributed output with total size matching the total size of a # distributed input if dist_in: offset = np.sum(sizes_in[:iproc, i]) end = offset + sizes_in[iproc, i] # total sizes differ and output is distributed, so can't determine mapping if offset is None: self._collect_error(f"{self.msginfo}: Can't determine src_indices " f"automatically for input '{iname}'. They must be " "supplied manually.", ident=(self.pathname, iname)) continue if dist_in and not dist_out: src_shape = self._get_full_dist_shape(src, all_abs2meta_out[src]['shape']) else: src_shape = all_abs2meta_out[src]['global_shape'] if offset == end: idx = np.zeros(0, dtype=INT_DTYPE) else: idx = slice(offset, end) meta_in['src_indices'] = indexer(idx, flat_src=True, src_shape=src_shape) meta_in['flat_src_indices'] = True added_src_inds.append(iname) return added_src_inds def _approx_partials(self, of, wrt, method='fd', **kwargs): """ Inform the framework that the specified derivatives are to be approximated. Parameters ---------- of : str or list of str The name of the residual(s) that derivatives are being computed for. May also contain a glob pattern. wrt : str or list of str The name of the variables that derivatives are taken with respect to. This can contain the name of any input or output variable. May also contain a glob pattern. method : str The type of approximation that should be used. Valid options include: - 'fd': Finite Difference **kwargs : dict Keyword arguments for controlling the behavior of the approximation. """ self._has_approx = True info = self._subjacs_info for abs_key in self._matching_key_iter(of, wrt): meta = info[abs_key] meta['method'] = method meta.update(kwargs)
[docs] def declare_partials(self, of, wrt, dependent=True, rows=None, cols=None, val=None, method='exact', step=None, form=None, step_calc=None, minimum_step=None): """ Declare information about this component's subjacobians. Parameters ---------- of : str or iter of str The name of the residual(s) that derivatives are being computed for. May also contain a glob pattern. wrt : str or iter of str The name of the variables that derivatives are taken with respect to. This can contain the name of any input or output variable. May also contain a glob pattern. dependent : bool(True) If False, specifies no dependence between the output(s) and the input(s). This is only necessary in the case of a sparse global jacobian, because if 'dependent=False' is not specified and declare_partials is not called for a given pair, then a dense matrix of zeros will be allocated in the sparse global jacobian for that pair. In the case of a dense global jacobian it doesn't matter because the space for a dense subjac will always be allocated for every pair. rows : ndarray of int or None Row indices for each nonzero entry. For sparse subjacobians only. cols : ndarray of int or None Column indices for each nonzero entry. For sparse subjacobians only. val : float or ndarray of float or scipy.sparse Value of subjacobian. If rows and cols are not None, this will contain the values found at each (row, col) location in the subjac. method : str The type of approximation that should be used. Valid options include: 'fd': Finite Difference, 'cs': Complex Step, 'exact': use the component defined analytic derivatives. Default is 'exact'. step : float Step size for approximation. Defaults to None, in which case the approximation method provides its default value. form : str Form for finite difference, can be 'forward', 'backward', or 'central'. Defaults to None, in which case the approximation method provides its default value. step_calc : str Step type for computing the size of the finite difference step. It can be 'abs' for absolute, 'rel_avg' for a size relative to the absolute value of the vector input, or 'rel_element' for a size relative to each value in the vector input. In addition, it can be 'rel_legacy' for a size relative to the norm of the vector. For backwards compatibilty, it can be 'rel', which is now equivalent to 'rel_avg'. Defaults to None, in which case the approximation method provides its default value. minimum_step : float Minimum step size allowed when using one of the relative step_calc options. Returns ------- dict Metadata dict for the specified partial(s). """ try: method_func = _supported_methods[method] except KeyError: msg = '{}: d({})/d({}): method "{}" is not supported, method must be one of {}' raise ValueError(msg.format(self.msginfo, of, wrt, method, sorted(_supported_methods))) if not isinstance(of, (str, Iterable)): raise ValueError(f"{self.msginfo}: in declare_partials, the 'of' arg must be a string " f"or an iter of strings, but got {of}.") if not isinstance(wrt, (str, Iterable)): raise ValueError(f"{self.msginfo}: in declare_partials, the 'wrt' arg must be a " f"string or an iter of strings, but got {wrt}.") of = of if isinstance(of, str) else tuple(of) wrt = wrt if isinstance(wrt, str) else tuple(wrt) key = (of, wrt) if key not in self._declared_partials_patterns: self._declared_partials_patterns[key] = {} meta = self._declared_partials_patterns[key] meta['dependent'] = dependent # If only one of rows/cols is specified if (rows is None) ^ (cols is None): raise ValueError('{}: d({})/d({}): If one of rows/cols is specified, then ' 'both must be specified.'.format(self.msginfo, of, wrt)) if dependent: meta['val'] = val _val = val.data if issparse(val) else val if np.all(_val == 0): warn_deprecation(f'{self.msginfo}: d({of})/d({wrt}): Partial was declared to be ' f'exactly zero. This is inefficient and the declaration should ' f'be removed. In a future version of OpenMDAO this behavior ' f'will raise an error.') if rows is not None: rows = np.asarray(rows, dtype=INT_DTYPE) cols = np.asarray(cols, dtype=INT_DTYPE) # Check the length of rows and cols to catch this easy mistake and give a # clear message. if len(cols) != len(rows): raise RuntimeError("{}: d({})/d({}): declare_partials has been called " "with rows and cols, which should be arrays of equal length," " but rows is length {} while cols is length " "{}.".format(self.msginfo, of, wrt, len(rows), len(cols))) if rows.size > 0 and rows.min() < 0: msg = '{}: d({})/d({}): row indices must be non-negative' raise ValueError(msg.format(self.msginfo, of, wrt)) if cols.size > 0 and cols.min() < 0: msg = '{}: d({})/d({}): col indices must be non-negative' raise ValueError(msg.format(self.msginfo, of, wrt)) meta['rows'] = rows meta['cols'] = cols # Check for repeated rows/cols indices. size = len(rows) if size > 0: coo = coo_matrix((np.ones(size, dtype=np.short), (rows, cols))) dsize = coo.data.size csc = coo.tocsc() # csc adds values at duplicate indices together, so result will be that data # size is less if there are duplicates if csc.data.size < dsize: coo = csc.tocoo() del csc inds = np.where(coo.data > 1.) dups = list(zip(coo.row[inds], coo.col[inds])) raise RuntimeError("{}: d({})/d({}): declare_partials has been called " "with rows and cols that specify the following duplicate" " subjacobian entries: {}.".format(self.msginfo, of, wrt, sorted(dups))) if method_func is not None: # we're doing approximations self._has_approx = True meta['method'] = method self._get_approx_scheme(method) default_opts = method_func.DEFAULT_OPTIONS else: default_opts = () if step: if 'step' in default_opts: meta['step'] = step else: raise RuntimeError("{}: d({})/d({}): 'step' is not a valid option for " "'{}'".format(self.msginfo, of, wrt, method)) if minimum_step is not None: if 'minimum_step' in default_opts: meta['minimum_step'] = minimum_step else: raise RuntimeError("{}: d({})/d({}): 'minimum_step' is not a valid option for " "'{}'".format(self.msginfo, of, wrt, method)) if form: if 'form' in default_opts: meta['form'] = form else: raise RuntimeError("{}: d({})/d({}): 'form' is not a valid option for " "'{}'".format(self.msginfo, of, wrt, method)) if step_calc: if 'step_calc' in default_opts: meta['step_calc'] = step_calc else: raise RuntimeError("{}: d({})/d({}): 'step_calc' is not a valid option " "for '{}'".format(self.msginfo, of, wrt, method)) return meta
[docs] def declare_coloring(self, wrt=_DEFAULT_COLORING_META['wrt_patterns'], method=_DEFAULT_COLORING_META['method'], form=None, step=None, per_instance=_DEFAULT_COLORING_META['per_instance'], num_full_jacs=_DEFAULT_COLORING_META['num_full_jacs'], tol=_DEFAULT_COLORING_META['tol'], orders=_DEFAULT_COLORING_META['orders'], perturb_size=_DEFAULT_COLORING_META['perturb_size'], min_improve_pct=_DEFAULT_COLORING_META['min_improve_pct'], show_summary=_DEFAULT_COLORING_META['show_summary'], show_sparsity=_DEFAULT_COLORING_META['show_sparsity']): """ Set options for deriv coloring of a set of wrt vars matching the given pattern(s). Parameters ---------- wrt : str or list of str The name or names of the variables that derivatives are taken with respect to. This can contain input names, output names, or glob patterns. method : str Method used to compute derivative: "fd" for finite difference, "cs" for complex step. form : str Finite difference form, can be "forward", "central", or "backward". Leave undeclared to keep unchanged from previous or default value. step : float Step size for finite difference. Leave undeclared to keep unchanged from previous or default value. per_instance : bool If True, a separate coloring will be generated for each instance of a given class. Otherwise, only one coloring for a given class will be generated and all instances of that class will use it. num_full_jacs : int Number of times to repeat partial jacobian computation when computing sparsity. tol : float Tolerance used to determine if an array entry is nonzero during sparsity determination. orders : int Number of orders above and below the tolerance to check during the tolerance sweep. perturb_size : float Size of input/output perturbation during generation of sparsity. min_improve_pct : float If coloring does not improve (decrease) the number of solves more than the given percentage, coloring will not be used. show_summary : bool If True, display summary information after generating coloring. show_sparsity : bool If True, display sparsity with coloring info after generating coloring. """ super().declare_coloring(wrt, method, form, step, per_instance, num_full_jacs, tol, orders, perturb_size, min_improve_pct, show_summary, show_sparsity) # create approx partials for all matches meta = self.declare_partials('*', wrt, method=method, step=step, form=form) meta['coloring'] = True
[docs] def set_check_partial_options(self, wrt, method='fd', form=None, step=None, step_calc=None, minimum_step=None, directional=False): """ Set options that will be used for checking partial derivatives. Parameters ---------- wrt : str or list of str The name or names of the variables that derivatives are taken with respect to. This can contain the name of any input or output variable. May also contain a glob pattern. method : str Method for check: "fd" for finite difference, "cs" for complex step. form : str Finite difference form for check, can be "forward", "central", or "backward". Leave undeclared to keep unchanged from previous or default value. step : float Step size for finite difference check. Leave undeclared to keep unchanged from previous or default value. step_calc : str Step type for computing the size of the finite difference step. It can be 'abs' for absolute, 'rel_avg' for a size relative to the absolute value of the vector input, or 'rel_element' for a size relative to each value in the vector input. In addition, it can be 'rel_legacy' for a size relative to the norm of the vector. For backwards compatibilty, it can be 'rel', which is now equivalent to 'rel_avg'. Defaults to None, in which case the approximation method provides its default value.. minimum_step : float Minimum step size allowed when using one of the relative step_calc options. directional : bool Set to True to perform a single directional derivative for each vector variable in the pattern named in wrt. """ supported_methods = ('fd', 'cs') if method not in supported_methods: msg = "{}: Method '{}' is not supported, method must be one of {}" raise ValueError(msg.format(self.msginfo, method, supported_methods)) if step and not isinstance(step, (int, float)): msg = "{}: The value of 'step' must be numeric, but '{}' was specified." raise ValueError(msg.format(self.msginfo, step)) supported_step_calc = ('abs', 'rel', 'rel_legacy', 'rel_avg', 'rel_element') if step_calc and step_calc not in supported_step_calc: msg = "{}: The value of 'step_calc' must be one of {}, but '{}' was specified." raise ValueError(msg.format(self.msginfo, supported_step_calc, step_calc)) if not isinstance(wrt, (str, list, tuple)): msg = "{}: The value of 'wrt' must be a string or list of strings, but a type " \ "of '{}' was provided." raise ValueError(msg.format(self.msginfo, type(wrt).__name__)) if not isinstance(directional, bool): msg = "{}: The value of 'directional' must be True or False, but a type " \ "of '{}' was provided." raise ValueError(msg.format(self.msginfo, type(directional).__name__)) wrt_list = [wrt] if isinstance(wrt, str) else wrt self._declared_partial_checks.append((wrt_list, method, form, step, step_calc, minimum_step, directional))
def _get_check_partial_options(self): """ Return dictionary of partial options with pattern matches processed. This is called by check_partials. Returns ------- dict(wrt: (options)) Dictionary keyed by name with tuples of options (method, form, step, step_calc, minimum_step, directional) """ if not self._declared_partial_checks: return {} opts = {} wrt = self._get_partials_wrts() invalid_wrt = [] matrix_free = self.matrix_free if matrix_free: n_directional = 0 for data_tup in self._declared_partial_checks: wrt_list, method, form, step, step_calc, minimum_step, directional = data_tup for pattern in wrt_list: matches = find_matches(pattern, wrt) # if a non-wildcard var name was specified and not found, save for later Exception if len(matches) == 0 and _valid_var_name(pattern): invalid_wrt.append(pattern) for match in matches: if match in opts: opt = opts[match] # New assignments take precedence keynames = ['method', 'form', 'step', 'step_calc', 'minimum_step', 'directional'] for name, value in zip(keynames, [method, form, step, step_calc, minimum_step, directional]): if value is not None: opt[name] = value else: opts[match] = {'method': method, 'form': form, 'step': step, 'step_calc': step_calc, 'minimum_step': minimum_step, 'directional': directional} if matrix_free and directional: n_directional += 1 if invalid_wrt: msg = "{}: Invalid 'wrt' variables specified for check_partial options: {}." raise ValueError(msg.format(self.msginfo, invalid_wrt)) if matrix_free: if n_directional > 0 and n_directional < len(wrt): msg = "{}: For matrix free components, directional should be set to True for " + \ "all inputs." raise ValueError(msg.format(self.msginfo)) return opts def _resolve_partials_patterns(self, of, wrt, pattern_meta): """ Store subjacobian metadata for specific of, wrt pairs after resolving glob patterns. Parameters ---------- of : tuple of str The names of the residuals that derivatives are being computed for. May also contain glob patterns. wrt : tuple of str The names of the variables that derivatives are taken with respect to. This can contain the name of any input or output variable. May also contain glob patterns. pattern_meta : dict Metadata dict specifying shape, and/or approx properties, keyed by (of, wrt) as described above. """ val = pattern_meta['val'] if 'val' in pattern_meta else None is_scalar = isscalar(val) dependent = pattern_meta['dependent'] matfree = self.matrix_free if dependent: if 'rows' in pattern_meta and pattern_meta['rows'] is not None: # sparse list format rows = pattern_meta['rows'] cols = pattern_meta['cols'] if is_scalar: val = np.full(rows.size, val, dtype=float) is_scalar = False elif val is not None: # np.promote_types will choose the smallest dtype that can contain # both arguments val = atleast_1d(val) safe_dtype = promote_types(val.dtype, float) val = val.astype(safe_dtype, copy=False) if rows.shape != val.shape: raise ValueError('{}: d({})/d({}): If rows and cols are specified, val ' 'must be a scalar or have the same shape, val: {}, ' 'rows/cols: {}'.format(self.msginfo, of, wrt, val.shape, rows.shape)) elif not matfree: val = np.zeros_like(rows, dtype=float) if rows.size > 0: rows_max = rows.max() cols_max = cols.max() else: rows_max = cols_max = 0 else: if val is not None and not is_scalar and not issparse(val): val = atleast_2d(val) val = val.astype(promote_types(val.dtype, float), copy=False) rows_max = cols_max = 0 rows = None cols = None abs2meta_in = self._var_abs2meta['input'] abs2meta_out = self._var_abs2meta['output'] is_array = isinstance(val, ndarray) patmeta = dict(pattern_meta) patmeta_not_none = {k: v for k, v in pattern_meta.items() if v is not None} for abs_key in self._matching_key_iter(of, '*' if wrt is None else wrt): if not dependent: if abs_key in self._subjacs_info: del self._subjacs_info[abs_key] continue if abs_key in self._subjacs_info: meta = self._subjacs_info[abs_key] meta.update(patmeta_not_none) else: meta = patmeta.copy() of, wrt = abs_key meta['rows'] = rows meta['cols'] = cols csz = abs2meta_in[wrt]['size'] if wrt in abs2meta_in else abs2meta_out[wrt]['size'] meta['shape'] = shape = (abs2meta_out[of]['size'], csz) dist_out = abs2meta_out[of]['distributed'] if wrt in abs2meta_in: dist_in = abs2meta_in[wrt]['distributed'] else: dist_in = abs2meta_out[wrt]['distributed'] if dist_in and not dist_out and not matfree: rel_key = abs_key2rel_key(self, abs_key) raise RuntimeError(f"{self.msginfo}: component has defined partial {rel_key} " "which is a non-distributed output wrt a distributed input." " This is only supported using the matrix free API.") if shape[0] == 0 or shape[1] == 0: msg = "{}: '{}' is an array of size 0" if shape[0] == 0: if dist_out: # distributed vars are allowed to have zero size inputs on some procs rows_max = -1 else: # non-distributed vars are not allowed to have zero size inputs raise ValueError(msg.format(self.msginfo, of)) if shape[1] == 0: if not dist_in: # non-distributed vars are not allowed to have zero size outputs raise ValueError(msg.format(self.msginfo, wrt)) else: # distributed vars are allowed to have zero size outputs on some procs cols_max = -1 if val is None and not matfree: # we can only get here if rows is None (we're not sparse list format) meta['val'] = np.zeros(shape) elif is_array: if rows is None and val.shape != shape and val.size == shape[0] * shape[1]: meta['val'] = val = val.copy().reshape(shape) else: meta['val'] = val.copy() elif is_scalar: meta['val'] = np.full(shape, val, dtype=float) else: meta['val'] = val if rows_max >= shape[0] or cols_max >= shape[1]: of, wrt = abs_key2rel_key(self, abs_key) raise ValueError(f"{self.msginfo}: d({of})/d({wrt}): Expected {shape[0]}x" f"{shape[1]} but declared at least {rows_max + 1}x" f"{cols_max + 1}") self._check_partials_meta(abs_key, meta['val'], shape if rows is None else (rows.shape[0], 1)) self._subjacs_info[abs_key] = meta def _get_partials_wrts(self): """ Get list of 'wrt' variables that form the partial jacobian. Returns ------- list List of 'wrt' relative variable names. """ # filter out any discrete inputs or outputs if self._discrete_inputs: return [n for n in self._var_rel_names['input'] if n not in self._discrete_inputs] return list(self._var_rel_names['input']) def _get_partials_ofs(self, use_resname=False): """ Get lists of 'of' variables that form the partial jacobian. Parameters ---------- use_resname : bool Ignored. Returns ------- list List of 'of' relative variable names. """ # filter out any discrete inputs or outputs if self._discrete_outputs: return [n for n in self._var_rel_names['output'] if n not in self._discrete_outputs] return list(self._var_rel_names['output']) def _matching_key_iter(self, of_patterns, wrt_patterns, use_resname=False): """ Iterate over all combinations of matching keys for the given patterns. Parameters ---------- of_patterns : list of str List of variable names and/or glob patterns for the 'of' variables. wrt_patterns : list of str List of variable names and/or glob patterns for the 'wrt' variables. use_resname : bool, optional If True, match of_patterns against residuals instead of outputs. Yields ------ tuple A tuple of matching keys, where the first element is the 'of' key and the second element is the 'wrt' key. Both are absolute names. """ of_bundles = self._find_of_matches(of_patterns, use_resname=use_resname) wrt_bundles = self._find_wrt_matches(wrt_patterns) for of_bundle, wrt_bundle in product(of_bundles, wrt_bundles): of_pattern, of_matches = of_bundle wrt_pattern, wrt_matches = wrt_bundle if not of_matches: raise ValueError('{}: No matches were found for of="{}"'.format(self.msginfo, of_pattern)) if not wrt_matches: raise ValueError('{}: No matches were found for wrt="{}"'.format(self.msginfo, wrt_pattern)) yield from abs_key_iter(self, of_matches, wrt_matches) def _find_of_matches(self, pattern, use_resname=False): """ Find all matches for the given 'of' pattern. Parameters ---------- pattern : str Glob pattern or relative variable name. use_resname : bool If True, match residual names instead of output names. Returns ------- list List of tuples of the form (abs_name, meta) where abs_name is the absolute name of the matching variable and meta is the metadata for that variable. """ of_list = [pattern] if isinstance(pattern, str) else pattern return [(pattern, find_matches(pattern, self._get_partials_ofs(use_resname=use_resname))) for pattern in of_list] def _find_wrt_matches(self, pattern): """ Find all matches for the given 'wrt' pattern. Parameters ---------- pattern : str Glob pattern or relative variable name. Returns ------- list List of tuples of the form (abs_name, meta) where abs_name is the absolute name of the matching variable and meta is the metadata for that variable. """ wrt_list = [pattern] if isinstance(pattern, str) else pattern return [(pattern, find_matches(pattern, self._get_partials_wrts())) for pattern in wrt_list] def _check_partials_meta(self, abs_key, val, shape): """ Check a given partial derivative and metadata for the correct shapes. Parameters ---------- abs_key : tuple(str, str) The of/wrt pair (given absolute names) defining the partial derivative. val : ndarray Subjac value. shape : tuple Expected shape of val. """ out_size, in_size = shape if in_size == 0 and self.comm.rank != 0: # 'inactive' component return if val is not None: val_shape = val.shape if len(val_shape) == 1: val_out, val_in = val_shape[0], 1 else: val_out, val_in = val.shape if val_out > out_size or val_in > in_size: of, wrt = abs_key2rel_key(self, abs_key) msg = '{}: d({})/d({}): Expected {}x{} but val is {}x{}' raise ValueError(msg.format(self.msginfo, of, wrt, out_size, in_size, val_out, val_in)) def _set_approx_partials_meta(self): """ Add approximations for those partials registered with method=fd or method=cs. """ self._get_static_wrt_matches() subjacs = self._subjacs_info wrtset = set() subjac_keys = self._get_approx_subjac_keys() # go through subjac keys in reverse and only add approx for the last of each wrt # (this prevents warnings that could confuse users) for i in range(len(subjac_keys) - 1, -1, -1): key = subjac_keys[i] if key[1] not in wrtset: wrtset.add(key[1]) meta = subjacs[key] self._approx_schemes[meta['method']].add_approximation(key, self, meta) def _guess_nonlinear(self): """ Provide initial guess for states. Does nothing on any non-implicit component. """ pass def _clear_iprint(self): """ Clear out the iprint stack from the solvers. Components don't have nested solvers, so do nothing to prevent errors. """ pass def _check_first_linearize(self): if self._first_call_to_linearize: self._first_call_to_linearize = False # only do this once if coloring_mod._use_partial_sparsity: coloring = self._get_coloring() if coloring is not None: self._update_subjac_sparsity(coloring._subjac_sparsity_iter()) if self._jacobian is not None: self._jacobian._restore_approx_sparsity() def _resolve_src_inds(self): abs2prom = self._var_abs2prom['input'] abs_in2prom_info = self._problem_meta['abs_in2prom_info'] all_abs2meta_in = self._var_allprocs_abs2meta['input'] abs2meta_in = self._var_abs2meta['input'] conns = self._problem_meta['model_ref']()._conn_global_abs_in2out all_abs2meta_out = self._problem_meta['model_ref']()._var_allprocs_abs2meta['output'] for tgt, meta in abs2meta_in.items(): if tgt in abs_in2prom_info: pinfo = abs_in2prom_info[tgt][-1] # component always last in the plist if pinfo is not None: inds, flat, shape = pinfo if inds is not None: all_abs2meta_in[tgt]['has_src_indices'] = True meta['src_shape'] = shape = all_abs2meta_out[conns[tgt]]['global_shape'] if inds._flat_src: meta['flat_src_indices'] = True elif meta['flat_src_indices'] is None: meta['flat_src_indices'] = flat try: if not isinstance(inds, Indexer): meta['src_indices'] = inds = indexer(inds, flat_src=flat, src_shape=shape) else: meta['src_indices'] = inds = inds.copy() inds.set_src_shape(shape) self._var_prom2inds[abs2prom[tgt]] = [shape, inds, flat] except Exception: type_exc, exc, tb = sys.exc_info() self._collect_error(f"When accessing '{conns[tgt]}' with src_shape " f"{shape} from '{pinfo.prom_path()}' using " f"src_indices {inds}: {exc}", exc_type=type_exc, tback=tb, ident=(conns[tgt], tgt)) def _check_consistent_serial_dinputs(self, nz_dist_outputs): """ Check consistency across ranks for serial d_inputs variables. This is used primarily to test that `compute_jacvec_product` and `apply_linear` methods follow the OpenMDAO convention that in reverse mode, the component should perform 'allreduce' sorts of operations only for derivatives of distributed outputs with-respect-to serial inputs. This should result in serial input derivatives being consistent across all ranks in the Component's communicator. Parameters ---------- nz_dist_outputs : set or list Set of distributed outputs with nonzero values for the most recent _apply_linear call. """ if not self.checking or not self._has_distrib_outputs or self.comm.size < 2: return if self._serial_idxs is None: ranges = defaultdict(list) output_len = 0 if self.is_explicit() else len(self._outputs) for _, offset, end, vec, slc, dist_sizes in self._jac_wrt_iter(): if dist_sizes is None: # not distributed if offset != end: if vec is self._outputs: ranges[vec].append(range(offset, end)) else: ranges[vec].append(range(offset - output_len, end - output_len)) self._serial_idxs = [] for vec, rlist in ranges.items(): if rlist: self._serial_idxs.append((vec, np.hstack(rlist))) for vec, inds in self._serial_idxs: # _jac_wrt_iter gives us _input and possibly _output vecs (for implicit comps), but we # want to check _dinputs and _doutputs v = self._dinputs if vec is self._inputs else self._doutputs result = inconsistent_across_procs(self.comm, v.asarray()[inds]) if self.comm.rank == 0 and np.any(result): bad_inds = np.arange(len(v), dtype=INT_DTYPE)[inds][result] bad_mask = np.zeros(len(v), dtype=bool) bad_mask[bad_inds] = True for inname, slc in v.get_slice_dict().items(): if np.any(bad_mask[slc]): for outname in nz_dist_outputs: key = (outname, inname) self._inconsistent_keys.add(key) def _get_dist_nz_dresids(self): """ Get names of distributed resids that are non-zero prior to computing derivatives. This should only be called when 'rev' mode is active. Returns ------- list of str List of names of distributed resids that have nonzero entries. """ nzresids = [] dresids = self._dresiduals.asarray() for of, start, end, _, dist_sizes in self._jac_of_iter(): if dist_sizes is not None: if np.any(dresids[start:end]): nzresids.append(of) full_nzresids = set() if self.comm.rank == 0: for nzoutlist in self.comm.gather(nzresids, root=0): full_nzresids.update(nzoutlist) return full_nzresids self.comm.gather(nzresids, root=0) return nzresids def _has_fast_rel_lookup(self): """ Return True if this System should have fast relative variable name lookup in vectors. Returns ------- bool True if this System should have fast relative variable name lookup in vectors. """ return True def _get_graph_node_meta(self): """ Return metadata to add to this system's graph node. Returns ------- dict Metadata for this system's graph node. """ meta = super()._get_graph_node_meta() meta['base'] = 'ExplicitComponent' if self.is_explicit() else 'ImplicitComponent' return meta
[docs] def check_subjac_sparsity(self): """ Check the declared sparsity of the sub-jacobians vs. the computed sparsity. """ sparsity, _ = self.compute_sparsity() full_nzrows = sparsity.row full_nzcols = sparsity.col def row_size_iter(): for of, start, end, _, _ in self._jac_of_iter(): yield of, end - start def col_size_iter(): for wrt, start, end, _, _, _ in self._jac_wrt_iter(): yield wrt, end - start prefix_len = len(self.pathname) + 1 for of, wrt, sjrows, sjcols, _ in submat_sparsity_iter(row_size_iter(), col_size_iter(), full_nzrows, full_nzcols, (len(self._outputs), len(self._inputs))): if (of, wrt) in self._subjacs_info: meta = self._subjacs_info[of, wrt] if meta['rows'] is None and sjrows is not None: issue_warning(f"Sparsity pattern for {of} wrt {wrt} was declared with " "rows=None, but a sparsity pattern has been computed.\n" f"rows = {sjrows}\ncols = {sjcols}\n") elif not np.all(np.asarray(meta['rows']) == sjrows): issue_warning(f"Sparsity pattern for {of} wrt {wrt} was declared with " f"rows={meta['rows']} and col={meta['cols']}, but a different " "sparsity pattern has been computed:\n" f"rows = {sjrows}\ncols = {sjcols}\n") else: issue_warning(f"{self.msginfo}: Partial for {of[prefix_len:]} wrt " f"{wrt[prefix_len:]} was not declared but is nonzero.\n" f"rows = {sjrows}\ncols = {sjcols}\n")
class _DictValues(object): """ A dict-like wrapper for a dict of metadata, where getitem returns 'val' from metadata. """ def __init__(self, dct): self._dict = dct def __getitem__(self, key): return self._dict[key]['val'] def __setitem__(self, key, value): self._dict[key]['val'] = value def __contains__(self, key): return key in self._dict def __len__(self): return len(self._dict) def __iter__(self): return iter(self._dict) def __bool__(self): return bool(self._dict) def keys(self): return self._dict.keys() def items(self): return [(key, meta['val']) for key, meta in self._dict.items()] def values(self): return [meta['val'] for meta in self._dict.values()] def set_vals(self, vals): for key, val in zip(self._dict, vals): self[key] = val