/usr/include/givaro/givvectdensespe.inl is in libgivaro-dev 3.2.13-1.2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | // ==========================================================================
// $Source
// Copyright(c)'94-97 by Givaro Team
// see the copyright file.
// Authors: T. Gautier
// $Id
// ==========================================================================
template<>
inline void VectorDom<ZpzDom<Std16>,Dense>::dot
( Type_t& res, const Rep& op1, const Rep& op2) const
{
size_t sz = dim(op1);
const ZpzDom<Std16>& domain = subdomain();
domain.dotprod( res, sz, op1.baseptr(), op2.baseptr() );
}
|