你们好,所以在你们帮助我正确地转换“压缩”函数后,我也尝试转换了解压缩函数let DecompressString (detext : string) = using (new MemoryStream ()) <| fun memoryStream ->
using (new GZipStream(memoryStream, CompressionMode.Decompress, true)) <| fun gzi
但是,每当py7zlib决定从实际未压缩的csv文件中读取数据时,我就会得到错误data error during decompression。obj.read() print er # prints data error during decompressionline 646, in _read_from_decompressorValueError: data error d
return (pos)
MainCompression()
for number in pos: finalsentence = (" ".join(decompression))
print ("Original sentence"The positions of the word(s) in t