297                        const StringWeight<L, S> &w2) {
298   if (w1.Size() != w2.Size())
302   StringWeightIterator<L, S> iter2(w2);
313                        const StringWeight<L, S> &w2) {
314   return !(w1 == w2);
319                         const StringWeight<L, S> &w2,
321   return w1 == w2;
371      const StringWeight<L, S> &w2) {  in Plus()  argument
372   if (!w1.Member() || !w2.Member())  in Plus()
375     return w2;  in Plus()
376   if (w2 == StringWeight<L, S>::Zero())  in Plus()
379   if (w1 != w2) {  in Plus()
383                << " w2 = " << w2;  in Plus()
394      const StringWeight<L, STRING_LEFT> &w2) {  in Plus()  argument
395   if (!w1.Member() || !w2.Member())  in Plus()
398     return w2;  in Plus()
399   if (w2 == StringWeight<L, STRING_LEFT>::Zero())  in Plus()
404   StringWeightIterator<L, STRING_LEFT> iter2(w2);  in Plus()
415      const StringWeight<L, STRING_RIGHT> &w2) {  in Plus()  argument
416   if (!w1.Member() || !w2.Member())  in Plus()
419     return w2;  in Plus()
420   if (w2 == StringWeight<L, STRING_RIGHT>::Zero())  in Plus()
425   StringWeightReverseIterator<L, STRING_RIGHT> iter2(w2);  in Plus()
435                              const StringWeight<L, S> &w2) {  in Times()  argument
436   if (!w1.Member() || !w2.Member())  in Times()
438   if (w1 == StringWeight<L, S>::Zero() || w2 == StringWeight<L, S>::Zero())  in Times()
442   for (StringWeightIterator<L, S> iter(w2); !iter.Done(); iter.Next())  in Times()
453        const StringWeight<L, S> &w2,  in Divide()  argument
462   if (!w1.Member() || !w2.Member())  in Divide()
465   if (w2 == StringWeight<L, S>::Zero())  in Divide()
473     if (i >= w2.Size())  in Divide()
483        const StringWeight<L, STRING_RIGHT> &w2,  in Divide()  argument
492   if (!w1.Member() || !w2.Member())  in Divide()
495   if (w2 == StringWeight<L, STRING_RIGHT>::Zero())  in Divide()
503     if (i >= w2.Size())  in Divide()
513        const StringWeight<L, STRING_RIGHT_RESTRICT> &w2,  in Divide()  argument
522   if (!w1.Member() || !w2.Member())  in Divide()
525   if (w2 == StringWeight<L, STRING_RIGHT_RESTRICT>::Zero())  in Divide()
533     if (i >= w2.Size())  in Divide()
548   GallicWeight(StringWeight<L, S> w1, W w2)  in GallicWeight()
549       : ProductWeight<StringWeight<L, S>, W>(w1, w2) {}  in GallicWeight()